skip to main content
Langue :
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Afficher les résultats avec :

Résultats 1 - 10 sur 14  pour Tout le catalogue

résultats 1 2 next page
N'afficher que
Filtré par : sujet: Fonctions récursives supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computability and logic
Material Type:
Livre
Ajouter au Panier

Computability and logic

Boolos, George (1940-1996) ; Burgess, John P (1948-...) ; Jeffrey, Richard Carl (1926-2002)

Cambridge. New York. Melbourne. Cambridge University Press, cop. 2007

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

The calculi of lambda-conversion

Church, Alonzo (1903-1995)

Appartient à la collection : Annals of mathematics studies, 6, ISSN 0066-2313

Princeton. Princeton university press. London. Humphrey Milford. Oxford university press, cop. 1941

Indisponible     (->>)

3
Recursive function theory and logic
Material Type:
Livre
Ajouter au Panier

Recursive function theory and logic

Yasuhara, Ann Harris (1932-2014)

Appartient à la collection : Computer science and applied mathematics, ISSN 0884-2027

New York. London. Academic Press, cop. 1971

Indisponible     (->>)

4
Langage PASCAL et logique du premier ordre. Tome 2. Récursivité et dérécursification, preuves et complexité d'algorithmes
Material Type:
Livre
Ajouter au Panier

Langage PASCAL et logique du premier ordre. Tome 2. Récursivité et dérécursification, preuves et complexité d'algorithmes

Margenstern, Maurice

Appartient à la collection : Logique mathématiques informatique, 4, ISSN 0995-2179

Paris. Milan [etc.]. Masson, 1990

Indisponible     (->>)

5
Material Type:
Livre
Ajouter au Panier

Degrees of unsolvability

Sacks, Gerald Enoch (1933-...)

Appartient à la collection : Annals of mathematics studies, 55, ISSN 0066-2313

Princeton, N.J.. Princeton University Press, 1966, cop. 1966

Indisponible     (->>)

6
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(->>)

7
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems
Material Type:
Livre
Ajouter au Panier

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems

Murawski, Roman

Appartient à la collection : Synthese Library (Dordrecht), 286, ISSN 0166-6991

Dordrecht. Boston. Kluwer Academic Publishers, 1999

Indisponible     (->>)

8
Complexité et décidabilité
Material Type:
Livre
Ajouter au Panier

Complexité et décidabilité

Dehornoy, Patrick (1952-...)

Appartient à la collection : Mathématiques et applications (Paris), 12, ISSN 1154-483X

Paris. Berlin. New York [etc.]. Springer-Verlag, copyright 1993

Indisponible     (->>)

9
Theory of computation
Material Type:
Livre
Ajouter au Panier

Theory of computation

Kozen, Dexter C (1951-...)

Appartient à la collection : Texts in computer science, ISSN 1868-0941

London. Springer, cop. 2006

Disponible(->>)

10
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(->>)

Résultats 1 - 10 sur 14  pour Tout le catalogue

résultats 1 2 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (1)

Affiner vos résultats

Type de ressource 

  1. Livres  (12)
  2. Thèses ou mémoires  (1)
  3. ebooks  (1)
  4. Autres open sub menu

Localisation 

  1. Descartes  (2)
  2. Descartes - CDR  (2)
  3. Descartes - LARHRA  (2)
  4. Monod  (10)
  5. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1965  (2)
  2. 1965 à 1970  (2)
  3. 1971 à 1981  (2)
  4. 1982 à 1991  (3)
  5. Après 1991  (5)
  6. Autres open sub menu

Langue 

  1. Anglais  (11)
  2. Français  (3)
  3. Autres open sub menu

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.