skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Résultats 1 - 10 sur 47  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:
Livre
Ajouter au Panier

Fonctions récursives

Grzegorczyk, Andrzej (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(->>)

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

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

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

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

7
Material Type:
Livre
Ajouter au Panier

La formation des raisonnements récurrentiels

Greco, Pierre (1927-1988) ; Inhelder, Bärbel (1913-1997) ; Matalon, Benjamin (1930-2014) ; Piaget, Jean (1896-1980)

Appartient à la collection : Bibliothèque scientifique internationale. Etudes d'épistémologie génétique, 17, ISSN 0425-483X

Paris. Presses universitaires de France, 1963

Disponible(->>)

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

9
Material Type:
Livre
Ajouter au Panier

Les fonctions combinatoires et les isols

Dekker, Jacob C. E (1921-2004)

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

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

Indisponible     (->>)

10
Techniques of admissible recursion theory
Material Type:
Livre
Ajouter au Panier

Techniques of admissible recursion theory

Chong, Chi-Tat (1949-...)

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

Berlin [etc.]. Springer-Verlag, cop. 1984

Indisponible     (->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (6)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

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

Auteur 

  1. Davis, Martin  (3)
  2. Fischer, Gerd  (2)
  3. Margenstern, Maurice  (2)
  4. Moldestad, Johan  (2)
  5. Wolper, Pierre  (2)
  6. Goodstein, Reuben Louis  (2)
  7. Chong, Chi-Tat  (2)
  8. Smullyan, Raymond Merrill  (2)
  9. Normann, Dag  (1)
  10. Matalon, Benjamin  (1)
  11. Scholl, Pierre-Claude  (1)
  12. Dekker, Jacob C. E  (1)
  13. Girard, Jean-Yves  (1)
  14. Sargent, Thomas J  (1)
  15. Blanchard, Patrice  (1)
  16. Zarach, Andrzej  (1)
  17. Kushner, Harold Joseph  (1)
  18. Inhelder, Bärbel  (1)
  19. Crossley, John Newsome  (1)
  20. Boolos, George  (1)
  21. Dehornoy, Patrick  (1)
  22. Vesley, Richard Eugène  (1)
  23. Sacks, Gerald Enoch  (1)
  24. Kozen, Dexter C  (1)
  25. Lefebvre, Éloi  (1)
  26. Murawski, Roman  (1)
  27. Roeper, Thomas  (1)
  28. Association for symbolic logic  (1)
  29. Minsky, Marvin  (1)
  30. Jeffrey, Richard Carl  (1)
  31. Organisation du traité de l'Atlantique nord  (1)
  32. Yasuhara, Ann Harris  (1)
  33. Dummett, Michael Anthony Eardley  (1)
  34. Herken, Rolf  (1)
  35. Smith, Carl  (1)
  36. Kleene, Stephen Cole  (1)
  37. Epstein, Richard L  (1)
  38. Lascar, Daniel  (1)
  39. Church, Alonzo  (1)
  40. Montel, Paul  (1)
  41. Barron, David William  (1)
  42. Speas, Margaret  (1)
  43. Cori, René  (1)
  44. Yin, George  (1)
  45. Ljungqvist, Lars  (1)
  46. Marek, Victor W  (1)
  47. Greco, Pierre  (1)
  48. Lucas, Michel  (1)
  49. Srebrny, Marian  (1)
  50. Burgess, John P  (1)
  51. Faure, Frédéric. informaticien  (1)
  52. Basch, Julien  (1)
  53. Rogers, Hartley  (1)
  54. Dufresnoy, Jacques  (1)
  55. Piaget, Jean  (1)
  56. Soare, Robert Irving  (1)
  57. Burgin, Mark  (1)
  58. Krivine, Jean-Louis  (1)
  59. Turing, Alan Mathison  (1)
  60. Karpiński, Marek  (1)
  61. Peyrin, Jean-Pierre  (1)
  62. Grzegorczyk, Andrzej  (1)
  63. Autres open sub menu

Date de parution 

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

Langue 

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