Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: Proceedings / [electronic resource] :
edited by S. Barry Cooper, Benedikt Lowe, Andrea Sorbi.
- Berlin Heidelberg : Springer-Verlag GmbH., 2007.
- xviii, 826 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4497 0302-9743 ; .