 |
|
|
|
 |
 |
 |
|
| Conference Archive for COMPUTATION TOOLS International Conferences on Computational Logics, Algebras, Programming, Tools, and Benchmarking |
|
||
 |
|
COMPUTATION TOOLS 2010, The First International Conferences on
Computational Logics, Algebras, Programming, Tools, and Benchmarking
November 21-26, 2010 - Lisbon, Portugal
