skip to main content
Langue :
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Afficher les résultats avec :

Résultats 1 - 10 sur 23  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
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(->>)

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

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

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

5
Material Type:
ebook
Ajouter au Panier

Thinking about acting : logical foundations for rational decision making

Pollock, John L (1940-...)

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2011

6
The classical decision problem
Material Type:
Livre
Ajouter au Panier

The classical decision problem

Börger, Egon (1946-...) ; Grädel, Erich (1958-...) ; Gurevich, Yuri (1940-...) ()

Appartient à la collection : Perspectives in mathematical logic, ISSN 0172-6641

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

Indisponible     (->>)

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

Expressivité des logiques d'espace

Lozes, Etienne ; Lescanne, Pierre (1947-...) ; Monteiro, Luis. École normale supérieure (Lyon). Universidade nova de Lisboa

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

Disponible(->>)

8
Büchi's monadic second order successor arithmetic
Material Type:
Livre
Ajouter au Panier

Büchi's monadic second order successor arithmetic

Siefkes, Dirk ; Müller, Gert Heinz (mathématicien) (1923-2006) (Ed.)

Appartient à la collection : Lecture notes in mathematics, 120, ISSN 0075-8434 Fait partie de l'ensemble : Decidable theories

Berlin. Heidelberg. New York. Springer-Verlag, 1970, cop. 1970

Indisponible     (->>)

9
Le dixième problème de Hilbert : son indécidabilité
Material Type:
Livre
Ajouter au Panier

Le dixième problème de Hilbert : son indécidabilité

Matiyasevich, Yuri Vladimirovich (1947-...) ; Cegielski, Patrick (1954-) (Trad.) ; Richard, Denis (1942-...) (Trad.) ; Gaillard, François (1925-...) (Trad.)

Appartient à la collection : Axiomes (Paris), ISSN 1243-4264

Paris. Milan. Barcelone. Masson, 1995

Indisponible     (->>)

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

Mineola, NY. Dover Publications, 2004

Indisponible     (->>)

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

résultats 1 2 3 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (3)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

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

Langue 

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