Computation and Logic in the Real World Computation and Logic in the Real World

Computation and Logic in the Real World

S. Barry Cooper en andere
    • € 89,99
    • € 89,99

Beschrijving uitgever

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007.
The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions. Among them are papers corresponding to 12 plenary talks and papers of 8 special sessions entitled doing without turing machines: constructivism and formal topology, approaches to computational learning, real computation, computability and mathematical structure, complexity of algorithms and proofs, logic and new paradigms of computability, computational foundations of physics and biology, as well as a women in computability workshop.

GENRE
Computers en internet
UITGEGEVEN
2007
11 juni
TAAL
EN
Engels
LENGTE
842
Pagina's
UITGEVER
Springer Berlin Heidelberg
PROVIDER INFO
Springer Science & Business Media LLC
GROOTTE
9,8
MB
Computability Theory Computability Theory
2017
The Incomputable The Incomputable
2017
The Once and Future Turing The Once and Future Turing
2016
Alan Turing: His Work and Impact Alan Turing: His Work and Impact
2013