Computation and logic in the real world [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: Proceedings / edited by S. Barry Cooper, Benedikt Lowe, Andrea Sorbi.
Series: Lecture Notes in Computer Science ; 4497Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007.Description: xviii, 826 p. : ill., digital ; 24 cmISBN:- 9783540730019 (electronic bk.)
- 511.352 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
