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
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computability : a mathematical sketchbook
Material Type:
Livre
Ajouter au Panier

Computability : a mathematical sketchbook

Bridges, Douglas S (1945-...)

Appartient à la collection : Graduate texts in mathematics, 146, ISSN 0072-5285

New York. Springer-Verlag, cop. 1994

Indisponible     (->>)

2
The theory of computability : programs, machines, effectiveness, and feasibility
Material Type:
Livre
Ajouter au Panier

The theory of computability : programs, machines, effectiveness, and feasibility

Sommerhalder, R ; Westrhenen, S. Christiaan van (1928-)

Appartient à la collection : International computer science series

Wokingham, England. Reading, Mass.. Addison-Wesley Pub. Co, c1988

Indisponible     (->>)

3
Computability in analysis and physics
Material Type:
Livre
Ajouter au Panier

Computability in analysis and physics

Pour-El, Marian Boykan (1928-2009) ; Richards, Ian (1936-...)

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

Berlin. New York. Springer-Verlag, 1989

Indisponible     (->>)

4
Computability
Material Type:
Livre
Ajouter au Panier

Computability

Weihrauch, Klaus (1943-...)

Appartient à la collection : EATCS monographs on theoretical computer science, 9, ISSN 1431-2646

Berlin. New York. Springer-Verlag, cop. 1987

Indisponible     (->>)

5
Unsolvable classes of quantificational formulas
Material Type:
Livre
Ajouter au Panier

Unsolvable classes of quantificational formulas

Lewis, Harry R

Reading, Mass.. Addison-Wesley Pub. Co, 1979

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
Recursion on the countable functionals
Material Type:
Livre
Ajouter au Panier

Recursion on the countable functionals

Normann, Dag (1947-...)

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

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

Indisponible     (->>)

8
Computability theory
Material Type:
Livre
Ajouter au Panier

Computability theory

Weber, Rebecca (1977-...)

Appartient à la collection : Student mathematical library, 62, ISSN 1520-9121

Providence (R.I.). American Mathematical Society, cop. 2012

Indisponible     (->>)

9
Hypercomputation : computing beyond the Church-Turing Barrier
Material Type:
Livre
Ajouter au Panier

Hypercomputation : computing beyond the Church-Turing Barrier

Syropoulos, Apostolos (1965-...)

New York. London. Springer, cop. 2008

Indisponible     (->>)

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

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

résultats 1 2 3 next page

Refine Search Results

Affiner vos résultats

Localisation 

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

Sujet 

  1. Computable functions  (18)
  2. Fonctions calculables  (14)
  3. Fonctions récursives  (6)
  4. Recursive functions  (6)
  5. Logique mathématique  (4)
  6. Computable functions. Congresses  (4)
  7. Récursivité, Théorie de la  (4)
  8. Non-résolubilité (logique mathématique)  (4)
  9. Complexité de calcul (informatique)  (4)
  10. Unsolvability (Mathematical logic)  (4)
  11. Turing, Machines de  (3)
  12. Computational complexity  (3)
  13. Machine theory  (2)
  14. Logique informatique  (2)
  15. Logic, Symbolic and mathematical. Congresses  (2)
  16. Fonctions calculables. Informatique  (2)
  17. Machines séquentielles, Théorie des  (2)
  18. Automates mathématiques, Théorie des  (2)
  19. Recursion theory  (2)
  20. Nonclassical mathematical logic. Congresses  (1)
  21. Physique  (1)
  22. Turing machines  (1)
  23. Mathematical analysis  (1)
  24. Analyse diophantienne  (1)
  25. Théorie des ensembles  (1)
  26. Sciences. Méthodologie  (1)
  27. Hilbert, Problèmes de  (1)
  28. Automates  (1)
  29. Cambridge LCF (Computer system)  (1)
  30. Théorie des modèles  (1)
  31. Mathématiques constructives  (1)
  32. Gödel's theorem  (1)
  33. Logic, Symbolic and mathematical  (1)
  34. Philosophie des sciences  (1)
  35. Algorithmes  (1)
  36. Théorie de la démonstration  (1)
  37. Formal languages  (1)
  38. Analyse mathématique  (1)
  39. Functionals  (1)
  40. Logique mathématique non classique  (1)
  41. Intelligence artificielle  (1)
  42. Model theory. Congresses  (1)
  43. Systèmes informatiques  (1)
  44. Gödel, Théorème de  (1)
  45. Computable functions. Data processing  (1)
  46. Mathematics. Philosophy Congresses  (1)
  47. Physics  (1)
  48. Langages formels  (1)
  49. Algorithms  (1)
  50. Programmation déclarative  (1)
  51. Set theory  (1)
  52. Artificial intelligence  (1)
  53. Combinatorial analysis  (1)
  54. Hilbert's tenth problem  (1)
  55. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1977  (3)
  2. 1977 à 1981  (4)
  3. 1982 à 1987  (5)
  4. 1988 à 1994  (6)
  5. Après 1994  (5)
  6. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Davis, Martin
  2. Börger, Egon
  3. Normann, Dag
  4. Sommerhalder, R
  5. Lewis, Harry R

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.