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

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

résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter au Panier

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe

Surányi, János (1918-)

Budapest. Verlag der Ungarischen Akademie der Wissenschaften, 1959

Disponible(->>)

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

Disponible(->>)

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

4
Thinking recursively
Material Type:
Livre
Ajouter au Panier

Thinking recursively

Roberts, Eric

New York. J. Wiley, c1986

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

Disponible(->>)

6
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
Material Type:
Livre
Ajouter au Panier

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Soare, Robert Irving (1940-...)

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

Berlin. Heidelberg. Paris [etc.]. Springer-Verlag, cop. 1987

Disponible(->>)

7
Material Type:
Livre
Ajouter au Panier

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Crossley, John Newsome (1937-...) (Ed.) ; Dummett, Michael Anthony Eardley (1925-2011) (Ed.) ; Association for symbolic logic (Ed.) ; Organisation du traité de l'Atlantique nord (Ed.)

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

Amsterdam. North-Holland, 1965

Disponible(->>)

8
Material Type:
Livre
Ajouter au Panier

Leçons sur les fonctions calculables

Uspenskij, Vladimir Andreevič (1930-...) ; Chauvin, André (1914-...) (Trad.)

Appartient à la collection : Actualités scientifiques et industrielles, 1317, ISSN 0365-6861

Paris. Hermann, DL 1966, cop. 1966

Disponible(->>)

9
Material Type:
Livre
Ajouter au Panier

Theory of recursive functions and effective computability

Rogers, Hartley (1926-2015)

Appartient à la collection : McGraw-Hill series in higher mathematics

New York. McGraw-Hill, cop. 1967

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

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, cop. 1965

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

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

résultats 1 2 3 next page

Refine Search Results

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Recursive functions  (21)
  2. Fonctions récursives  (19)
  3. Computable functions  (6)
  4. Fonctions calculables  (5)
  5. Logic, Symbolic and mathematical  (4)
  6. Algorithmes  (4)
  7. Non-résolubilité (logique mathématique)  (4)
  8. Logique mathématique  (3)
  9. Récursivité, Théorie de la  (3)
  10. Algorithms  (3)
  11. Unsolvability (Mathematical logic)  (3)
  12. Ordinateurs. Programmation  (2)
  13. Gödel's theorem  (2)
  14. Mathematics : Recursive functions - For computer sciences  (1)
  15. Electronic digital computers. Programming  (1)
  16. Machines séquentielles, Théorie des  (1)
  17. Fonctions récursives. Informatique  (1)
  18. Statique et dynamique (sciences sociales)  (1)
  19. Stochastic approximation  (1)
  20. Files d'attente, Théorie des  (1)
  21. Statics and dynamics (Social sciences)  (1)
  22. Metamathematics  (1)
  23. Complexité de calcul (informatique)  (1)
  24. Turing, Machines de  (1)
  25. Fonctions récursives. Actes de congrès  (1)
  26. Turing machines  (1)
  27. Structures de données (informatique)  (1)
  28. Théorie des ensembles  (1)
  29. Macroeconomics  (1)
  30. Gödel, Théorème de  (1)
  31. Logique mathématique. Actes de congrès  (1)
  32. Approximation stochastique  (1)
  33. Graph theory  (1)
  34. Métamathématique  (1)
  35. Macroéconomie  (1)
  36. Programmation (mathématiques)  (1)
  37. Recursive functions. Data processing  (1)
  38. Fichiers (informatique). Organisation  (1)
  39. Mathématiques intuitionnistes  (1)
  40. Mathématiques constructives  (1)
  41. Set theory  (1)
  42. Recursion theory  (1)
  43. Nombres, Théorie des  (1)
  44. Number theory  (1)
  45. Intuitionistic mathematics  (1)
  46. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1961  (3)
  2. 1961 à 1965  (6)
  3. 1966 à 1970  (5)
  4. 1971 à 1983  (4)
  5. Après 1983  (5)
  6. Autres open sub menu

Langue 

  1. Anglais  (18)
  2. Français  (4)
  3. Allemand  (1)
  4. 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.