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

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

résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thèse ou mémoire
Ajouter au Panier

Theory of formal systems

Smullyan, Raymond Merrill (1919-2017)

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

Princeton (N.J.). Princeton University Press, 1968, cop. 1961

Disponible(->>)

2
Super-recursive algorithms
Material Type:
Livre
Ajouter au Panier

Super-recursive algorithms

Burgin, Mark (19..-...)

Appartient à la collection : Monographs in computer science, ISSN 1431-6900

New York. Springer, cop. 2005

Indisponible     (->>)

3
Material Type:
Livre
Ajouter au Panier

Fonctions récursives

Grzegorczyk, Andrzej (philosophe) (1922-...)

Appartient à la collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, 17, ISSN 0530-7554

Paris. Gauthier-Villars. Louvain. E. Nauwelaerts, 1961

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

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

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

Theory of formal systems

Smullyan, Raymond Merrill (1919-2017)

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

Princeton (N.J.). Princeton University Press, 1961

Indisponible     (->>)

6
Computations in Higher Types
Material Type:
ebook
Ajouter au Panier

Computations in Higher Types

Moldestad, Johan (1946-...)

Appartient à la collection : Lecture notes in mathematics (Internet), ISSN 1617-9692

Berlin [etc.] : Springer, 201. ?

7
Computations in higher types
Material Type:
Livre
Ajouter au Panier

Computations in higher types

Moldestad, Johan (1946-...)

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

Berlin. Heidelberg. New York. Springer, 1977

Indisponible     (->>)

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

9
The universal Turing machine : a half-century survey
Material Type:
Livre
Ajouter au Panier

The universal Turing machine : a half-century survey

Herken, Rolf (informaticien) (19..-...) (Ed.)

Wien. New-York. Springer-verl, 1995

Indisponible     (->>)

10
Material Type:
Livre
Ajouter au Panier

The foundations of intuitionistic mathematics : especially in relation to recursive functions

Kleene, Stephen Cole (1909-1994) ; Vesley, Richard Eugène (1932-...)

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

Amsterdam : North-Holland, 1965

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (4)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Fonctions récursives  (43)
  2. Recursive functions  (19)
  3. Logique mathématique  (8)
  4. Algorithmes  (8)
  5. Fonctions calculables  (8)
  6. Complexité de calcul (informatique)  (7)
  7. Computable functions  (6)
  8. Automates mathématiques, Théorie des  (6)
  9. Turing, Machines de  (5)
  10. Décidabilité (logique mathématique)  (5)
  11. Récursivité, Théorie de la  (5)
  12. Non-résolubilité (logique mathématique)  (5)
  13. Mathématiques  (4)
  14. Théorie des ensembles  (4)
  15. Logic, Symbolic and mathematical  (4)
  16. Mathematics  (4)
  17. Ordinateurs. Programmation  (3)
  18. Théorie des modèles  (3)
  19. Machines séquentielles, Théorie des  (3)
  20. Mathematics, general  (3)
  21. Gödel, Théorème de  (3)
  22. Algorithms  (3)
  23. Unsolvability (Mathematical logic)  (3)
  24. Logique  (3)
  25. Structures de données (informatique)  (2)
  26. Espaces analytiques  (2)
  27. Espaces fibrés (mathématiques)  (2)
  28. Mathématiques constructives  (2)
  29. Calcul formel  (2)
  30. Intelligence artificielle  (2)
  31. Fonctions de plusieurs variables complexes  (2)
  32. Graph theory  (2)
  33. Langages formels  (2)
  34. PASCAL (langage de programmation). Problèmes et exercices  (2)
  35. Recursion theory  (2)
  36. Stochastic approximation  (1)
  37. Machine theory  (1)
  38. Files d'attente, Théorie des  (1)
  39. Graphes, Théorie des  (1)
  40. Turing machines  (1)
  41. Raisonnement  (1)
  42. Reasoning (Psychology)  (1)
  43. Approximation stochastique  (1)
  44. Functions of several complex variables  (1)
  45. Computational complexity  (1)
  46. Langages de programmation  (1)
  47. Mathématiques intuitionnistes  (1)
  48. Gödel's theorem  (1)
  49. Intuitionistic mathematics  (1)
  50. Calcul des prédicats  (1)
  51. Fonctions calculables. Manuels d'enseignement supérieur  (1)
  52. Turing, Alan Mathison (1912-1954)  (1)
  53. Electronic digital computers. Programming  (1)
  54. Fiber spaces (Mathematics)  (1)
  55. Fonctions récursives. Informatique  (1)
  56. Gödel Théorème de  (1)
  57. Metamathematics  (1)
  58. Fonctions calculables. Problèmes et exercices  (1)
  59. Logique mathématique non classique  (1)
  60. Épistémologie génétique  (1)
  61. Fonction récursive  (1)
  62. Itération (mathématiques)  (1)
  63. Modèles mathématiques  (1)
  64. Fractions continues  (1)
  65. Métamathématique  (1)
  66. Insolvabilité  (1)
  67. Programmation (mathématiques)  (1)
  68. Recursive functions. Data processing  (1)
  69. Series, Infinite  (1)
  70. Fichiers (informatique). Organisation  (1)
  71. Informatique  (1)
  72. Séries infinies  (1)
  73. Set theory  (1)
  74. Nombres, Théorie des  (1)
  75. Analytic spaces  (1)
  76. Mathematical Logic and Foundations  (1)
  77. Number theory  (1)
  78. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1965  (7)
  2. 1965 à 1975  (10)
  3. 1976 à 1986  (6)
  4. 1987 à 1995  (10)
  5. Après 1995  (11)
  6. Autres open sub menu

Langue 

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

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Davis, Martin
  2. Fischer, Gerd
  3. Margenstern, Maurice
  4. Moldestad, Johan
  5. Wolper, Pierre

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.