Choose an application

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

Provability, Computability and Reflection

Nonclassical mathematical logic --- Model theory --- Computable functions --- Fonctions calculables --- Congresses --- Congrès --- -Model theory --- -Nonclassical mathematical logic --- -Mathematical logic, Nonclassical --- Non-classical mathematical logic --- Logic, Symbolic and mathematical --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Congresses. --- -Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Mathematical logic, Nonclassical --- Logique mathématique --- Théorie des modèles --- Logique mathématique. --- Théorie des modèles. --- Logic, Symbolic and mathematical. --- Théorie des modèles --- Logique mathématique --- Nonclassical mathematical logic - Congresses --- Model theory - Congresses --- Computable functions - Congresses

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.