Salta al contenuto principale

Etichettarecursion theory

Comprende: recursion theory, Recursion Theory, Recursion theory

Opere etichettate

Etichettate più spesso | In proporzione alla biblioteca | Popolari di recente | Pubblicate di recente — Filtro: Nessuno (modifica)

Theory of Recursive Functions and Effective Computability di Hartley Rogers (4 volte)
Gödel, Escher, Bach: an Eternal Golden Braid di Douglas Hofstadter (3 volte)
Recursion theory di Anil Nerode (2 volte)
Recursion Theory di Joseph R. Shoenfield (2 volte)
Recursive Macroeconomic Theory di Lars Ljungqvist (2 volte)
Computability: An Introduction to Recursive Function Theory di Nigel Cutland (2 volte)
Introduction to Metamathematics di Stephen Cole Kleene (2 volte)
Computability and Unsolvability di Martin Davis (2 volte)
Computability and Logic di George S. Boolos (2 volte)
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets di Robert I. Soare (2 volte)
Quick Recursion (Quick Programming) di matuszekdavidl (1 volte)
Recursion Theory and Computational Complexity: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in ... June 14-23, 1979 (C.I.M.E. Summer Schools) di G. Lolli (1 volte)
Money as Organization, Gustavo Del Vecchio's Theory di Gianfranco Tusset (1 volte)
Recursion Theory, Godel's Theorems, Set Theory, Model Theory di Rene Cori (1 volte)
Recursive Analysis (Dover Books on Mathematics) di R. L. Goodstein (1 volte)
Degrees of Unsolvability (Mathematics Studies - 2) di Joseph R. Shoenfield (1 volte)
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 di Piergiorgio Odifreddi (1 volte)
Computability, Enumerability, Unsolvability : Directions in recursion theory di S. B. Cooper (1 volte)
Hilbert's Tenth Problem and a generalization to algebraic integers di Rory Molinari (1 volte)
Properties of relative recursive enumerability di Rory Molinari (1 volte)
Recursion Theoretic Hierarchies di Peter G. Hinman (1 volte)
Computable Economics: The Arne Ryde Memorial Lectures di K. Velupillai (1 volte)
Research on Composing: Points of Departure di Charles R. Cooper (1 volte)
Theory of Computation di Dexter C. Kozen (1 volte)
Anelli nell'io: che cosa c'e al cuore della coscienza? di Douglas Hofstadter (1 volte)

Titoli Copertine

Uso dell'etichetta

quokka70 (12), briguy (11), JudgeInfo (4), koffieyahoo (4), johnnylogic (3), donbuch1 (2), mjdrabik (2), kanima (2), updgenref (1), abooth (1), FrankJLucatelli (1), idiosyncratic (1)

Google Books Ngram Viewer

Dati da Books Ngram Viewer

Etichette correlate

Caricamento in corso...

Serie in relazione

Perspectives in Mathematical Logic

Lecture Notes in Logic

Foundations of Computing Series

Computer Science and Scientific Computing

Studies in logic and the foundations of mathematics

Miscugli di etichette correlati

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.