Conference on Computability in Europe, CiE 2007 : <3.; : 2007
Titolo
Computation and logic in the real world : Third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings / S. Barry Cooper, Benedikt Lowe, Andrea Sorbi (Eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2007
ISBN
3-540-73000-1
Descrizione fisica
XVIII, 826 p. ; 24 cm
Collana
Lecture notes in computer science ; 4497
Disciplina
004.0151
Soggetti
Principi matematici <informatica> - Congressi - Siena - 2007