skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 27  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

Disponible(->>)

2
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

Disponible(->>)

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

4
Advanced topics in term rewriting : with 43 figures
Material Type:
Livre
Ajouter au Panier

Advanced topics in term rewriting : with 43 figures

Ohlebusch, Enno

New-York. Springer-Verlag, cop. 2002

Disponible(->>)

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

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

7
A mathematical introduction to logic
Material Type:
Livre
Ajouter au Panier

A mathematical introduction to logic

Enderton, Herbert B (1936-2010)

New York. London. Academic Press, copyright 1972

Disponible(->>)

8
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

Disponible(->>)

9
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

10
Logique et complexité
Material Type:
Livre
Ajouter au Panier

Logique et complexité

Lassaigne, Richard ; Rougemont, Michel de

Appartient à la collection : Traité des nouvelles technologies. Série Informatique, ISSN 0993-5037

Paris. Hermès, impr. 1996

Disponible(->>)

Résultats 1 - 10 sur 27  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  (24)
  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  (22)
  4. Autres open sub menu

Sujet 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1990  (4)
  2. 1990 à 1993  (7)
  3. 1994 à 1998  (6)
  4. 1999 à 2006  (7)
  5. Après 2006  (3)
  6. Autres open sub menu

Langue 

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