Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.

Logic, Symbolic and mathematical --- Computable functions --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Congresses --- Logic, Symbolic and mathematical - Congresses --- Computable functions - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computational complexity --- Computable functions --- Complexité de calcul (Informatique) --- Fonctions calculables --- Congresses. --- Congrès --- Computable functions -- Congresses. --- Computational complexity -- Congresses. --- Computer algorithms -- Congresses. --- Electronic books. -- local. --- Algebra --- Computer Science --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Computer algorithms --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Computer science. --- Computers. --- Algorithms. --- Computer science --- Bioinformatics. --- Computer Science. --- Theory of Computation. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Computing Methodologies. --- Mathematics of Computing. --- Mathematics. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Data processing --- Foundations --- Constructive mathematics --- Decidability (Mathematical logic) --- Information theory. --- Computer software. --- Artificial intelligence. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Software, Computer --- Communication theory --- Communication --- Computer science—Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.

Computable functions -- Congresses. --- Computational complexity -- Congresses. --- Computer science -- Mathematics -- Congresses. --- Electronic books. -- local. --- Computable functions --- Computational intelligence --- Mathematical Theory --- Computer Science --- Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Computational complexity --- Computer science --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Computer science. --- Computers. --- Algorithms. --- Bioinformatics. --- Computer Science. --- Theory of Computation. --- Mathematics of Computing. --- Algorithm Analysis and Problem Complexity. --- Computing Methodologies. --- Computational Biology/Bioinformatics. --- Mathematics. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Data processing --- Foundations --- Constructive mathematics --- Decidability (Mathematical logic) --- Information theory. --- Computer software. --- Artificial intelligence. --- Artificial Intelligence. --- Communication theory --- Communication --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Software, Computer --- Computer science—Mathematics. --- Computational and Systems Biology.