Italian Conference on Computational Logic
CILC 2012: Rome, Italy
Francesca A. Lisi (Ed.): Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 857 [ contents ]
CILC 2011: Pescara, Italy
Fabio Fioravanti (Ed.): Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. CEUR-WS.org 2011 CEUR Workshop Proceedings 810 [ contents ]
CILC 2010: Rende, Italy
Wolfgang Faber, Nicola Leone (Eds.): Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR-WS.org 2010 CEUR Workshop Proceedings 598 [ contents ]



