Tag computability

150 Times 93 Works 77 Members 2 Aliases 4 Translations

Tagged Works

  • List
SortCountWeightedPopular
Computability and Logic
18
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
9
Computability: An Introduction to Recursive Function Theory
7
Computability and Unsolvability
7
Introduction to Automata Theory, Languages, and Computation
5
Gödel, Escher, Bach: An Eternal Golden Braid
4
Meta Math!: The Quest for Omega
3
Introduction to the Theory of Computation
3
Understanding Computation: From Simple Machines to Impossible Programs
2
The Language of Machines: An Introduction to Computability and Formal Languages
2
Turing's World
2
Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science
2
The Lambda Calculus: Its Syntax and Semantics
2
Computational Complexity
2
Feynman Lectures on Computation
2
Computers and Intractability: A Guide to the Theory of NP-Completeness
2
The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics
2
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
1
Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction
1
The Turing Guide
1
Turing Computability: Theory and Applications (Theory and Applications of Computability)
1
Three Views of Logic: Mathematics, Philosophy, and Computer Science
1
Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages: Papers Presented at the Symposium
1
Computability: Turing, Gödel, Church, and Beyond
1
Theory of Computation
1
An Early History of Recursive Functions and Computability from Godel to Turing
1
The Nature of Computation
1
Matematik og lingvistik
1
Computability and Randomness
1
Computer Programming and Formal Systems
1
Computational Complexity: A Modern Approach
1
Complexity : A Guided Tour
1
Naming Infinity: A True Story of Religious Mysticism and Mathematical Creativity
1
Automata, Languages and Programming
1
Rekursive Funktionen (Springer-Lehrbuch) (German Edition)
1
Computation and Automata
1
Introduction to Formal Language Theory
1
Introduction to Formal Languages (McGraw-Hill computer science series)
1
Post's Machine
1
Computation: Finite and Infinite Machines
1
A Second Course in Formal Languages and Automata Theory
1
Theoretische Informatik
1
An Introduction to Gödel's Theorems
1
First Course in Computability (Computer Science Texts)
1
Mathematical Logic
1
Computability
1
A Recursive Introduction to the Theory of Computation
1
Machines, Languages, and Computation
1
show moreshow less

Using the Tag

josh314 (16), pgourdin (14), neuroklinik (7), bertilak (6), pmcjones (5), gremo (5), prosfilaes (4), howser (4), FrankJLucatelli (3), dabacon (3), lidaskoteina (3), xn--7xa (3), PhilipSharman (2), petie1974 (2), cpg (2), dakvid (2), elizabethleewilmer (2), kaixo (2), tim.dieppe (2), davidpenton (2) and 57 other members

Related Series

Addison-Wesley Series in Computer Science
Series of Books in the Mathematical Sciences
Studies in logic and the foundations of mathematics
Computer Science and Scientific Computing
CSLI Lecture Notes
Undergraduate Texts in Computer Science
Cambridge Introductions to Philosophy
XLeitfäden der Informatik
Encyclopedia of mathematics and its applications
POPL
Association for Computing Machinery

Related Lists

Aliases and Translations

Includes: computability, Computability
Translations: Berechenbarkeit, Calculabilité, Berekenbaarheid, Computabilidade

Google Books Ngram Viewer

Data from Books Ngram Viewer