Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4497)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): CiE: Conference on Computability in Europe
Conference proceedings info: CiE 2007.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (87 papers)
Editors and Affiliations
-
Dept. of Pure Mathematics, University of Leeds, Leeds, UK
S. Barry Cooper
-
Institue for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, TV Amsterdam, The Netherlands
Benedikt Löwe
-
Dipartimento di Scienze Matematiche ed Informatiche “R. Magari”, University of Siena, Siena, Italy
Andrea Sorbi
Bibliographic Information
Book Title: Computation and Logic in the Real World
Book Subtitle: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Editors: S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-73001-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-73000-2Published: 11 June 2007
eBook ISBN: 978-3-540-73001-9Published: 25 July 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 826
Topics: Theory of Computation, Algorithm Analysis and Problem Complexity, Mathematics of Computing, Artificial Intelligence, Bioinformatics, Algorithms
Industry Sectors: Aerospace, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications