Computation and logic in the real world [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.).
Saved in:
Published: |
Berlin :
Springer,
c2007.
|
---|---|
Online Access: | |
Corporate Authors: | |
Other Authors: | |
Series: | Lecture notes in computer science ;
4497 |
Subjects: | |
Format: | Electronic Conference Proceeding eBook |
Similar Items
-
Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /
Published: (2008) -
Logical approaches to computational barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006 : proceedings /
Published: (2006) -
Computability and logic /
by: Boolos, George
Published: (1980) -
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977) -
Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)