skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Unsolvable classes of quantificational formulas
Material Type:
Livre
Ajouter au Panier

Unsolvable classes of quantificational formulas

Lewis, Harry R

Reading, Mass.. Addison-Wesley Pub. Co, 1979

Disponible(->>)

2
Degrees of unsolvability : structure and theory
Material Type:
Livre
Ajouter au Panier

Degrees of unsolvability : structure and theory

Epstein, Richard L (1947-...)

Appartient à la collection : Lecture notes in mathematics, 759, ISSN 0075-8434

Berlin. Heidelberg. New York. Springer, cop. 1979

Disponible(->>)

3
Material Type:
Livre
Ajouter au Panier

Computability and unsolvability

Davis, Martin (1928-...)

Appartient à la collection : McGraw-Hill series in information processing and computers

New York. Toronto. London. McGraw-Hill, 1958

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

4
Computability and unsolvability
Material Type:
Livre
Ajouter au Panier

Computability and unsolvability

Davis, Martin (1928-...)

Appartient à la collection : McGraw-Hill series in information processing and computers

New York. Dover, cop. 1982

Disponible(->>)

5
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Material Type:
Livre
Ajouter au Panier

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin (1928-...) (Ed.)

Hewlett, N.Y.. Raven Press, 1965

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

6
Cornerstones of undecidability
Material Type:
Livre
Ajouter au Panier

Cornerstones of undecidability

Rozenberg, Grzegorz ; Salomaa, Arto (1934-...)

Prentice Hall international series in computer science

New York. London. Prentice Hall, 1994

Disponible(->>)

Refine Search Results

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.