Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010

Wolfgang Faber, Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. Volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

Conference: cilc2010

Editors

Wolfgang Faber

This author has not been identified. Look up 'Wolfgang Faber' in Google

Nicola Leone

This author has not been identified. Look up 'Nicola Leone' in Google