skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :

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

résultats 1 2 3 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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     (->>)

2
Cinq conférences sur l'indécidabilité
Material Type:
Livre
Ajouter au Panier

Cinq conférences sur l'indécidabilité

Bouleau, Nicolas (1945-...) ; Girard, Jean-Yves (1947-...) ; Louveau, Alain (1947-...)

Paris. Presses de l'École nationale des Ponts et chaussées, impr. 1983

Disponible(->>)

3
Material Type:
Thèse ou mémoire
Ajouter au Panier

Expressivité des logiques d'espace

Lozes, Etienne ; Lescanne, Pierre (Dir. thèse) ; Monteiro, Luis (Dir. thèse) ; École normale supérieure (Lyon) (Organisme de soutenance) ; Universidade nova de Lisboa ()

[S.l.]. [s.n.], 2004

Indisponible     (->>)

4
Complexity theory : exploring the limits of efficient algorithms
Material Type:
Livre
Ajouter au Panier

Complexity theory : exploring the limits of efficient algorithms

Wegener, Ingo

Berlin. Heidelberg. Springer, cop. 2005

Disponible(->>)

5
Material Type:
Livre
Ajouter au Panier

Solvable cases of the decision problem

Ackermann, Wilhelm (1896-1962)

Appartient à la collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X

Amsterdam. North-Holland Publishing Co, 1954

Disponible(->>)

6
Introduction to the theory of computation
Material Type:
Livre
Ajouter au Panier

Introduction to the theory of computation

Sipser, Michael

Boston (Mass.). London. Paris [etc.]. PWS Publ, cop. 1997

Disponible(->>)

7
Introduction to the theory of computation
Material Type:
Livre
Ajouter au Panier

Introduction to the theory of computation

Sipser, Michael

Boston (Mass.). Thomson course technology, copyright 2006

Disponible(->>)

8
Calculabilité et décidabilité : une introduction
Material Type:
Livre
Ajouter au Panier

Calculabilité et décidabilité : une introduction

Autebert, Jean-Michel

Appartient à la collection : Manuels informatiques Masson, ISSN 0249-6992

Paris. Milan. Barcelone [etc.]. Masson, DL 1992

Disponible(->>)

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
Introduction to the theory of computation
Material Type:
Livre
Ajouter au Panier

Introduction to the theory of computation

Sipser, Michael

Boston (Mass.). Cengage learning, copyright 2013

Disponible(->>)

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

résultats 1 2 3 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Affiner vos résultats

Type de ressource 

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

Localisation 

  1. Descartes  (2)
  2. Descartes - CDR  (2)
  3. Monod  (17)
  4. Autres open sub menu

Sujet 

  1. Décidabilité (logique mathématique)  (21)
  2. Complexité de calcul (informatique)  (11)
  3. Logique mathématique  (8)
  4. Automates mathématiques, Théorie des  (6)
  5. Fonctions récursives  (5)
  6. Turing, Machines de  (4)
  7. Fonctions calculables  (3)
  8. Informatique, modèles mathématiques  (3)
  9. Calcul des prédicats  (2)
  10. Logic, Symbolic and mathematical  (2)
  11. Algorithmes  (2)
  12. Sequential machine theory  (2)
  13. Machines séquentielles, Théorie des  (2)
  14. Calcul formel  (2)
  15. Gödel, Théorème de  (2)
  16. Métamathématique  (2)
  17. Predicate calculus  (2)
  18. Decidability (Mathematical logic)  (2)
  19. Computational complexity  (2)
  20. Logique de Hoare  (1)
  21. LAMBDA CALCUL  (1)
  22. Décidabilité (logique mathématique). Thèses et écrits académiques  (1)
  23. Hilbert, Espaces de  (1)
  24. Non-résolubilité (logique mathématique)  (1)
  25. Prise de décision  (1)
  26. Induction (logique)  (1)
  27. Machine theory  (1)
  28. Mathematics  (1)
  29. Gödel Théorème de  (1)
  30. Paradoxe du menteur  (1)
  31. Analyse diophantienne  (1)
  32. Mathématiques  (1)
  33. Méthodes formelles (informatique). Thèses et écrits académiques  (1)
  34. Probabilités  (1)
  35. Hilbert, Problèmes de  (1)
  36. Informatique. Mathématiques  (1)
  37. Récursivité, Théorie de la  (1)
  38. Langages formels  (1)
  39. Complétude, Théorème de  (1)
  40. PASCAL (langage de programmation). Problèmes et exercices  (1)
  41. Unsolvability (Mathematical logic)  (1)
  42. Gödel's theorem  (1)
  43. Prise de décision (Statistique)  (1)
  44. Logique spatiale  (1)
  45. Recursion theory  (1)
  46. Mathematical Logic and Foundations  (1)
  47. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1990  (3)
  2. 1990 à 1992  (3)
  3. 1993 à 1996  (5)
  4. 1997 à 2005  (6)
  5. Après 2005  (5)
  6. Autres open sub menu

Langue 

  1. Anglais  (14)
  2. Français  (9)
  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.