skip to main content
Résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
General recursion theory : an axiomatic approach
Material Type:
Livre
Ajouter à Mon espace

General recursion theory : an axiomatic approach

Fenstad, Jens Erik.

Berlin Heidelberg New York NY : Springer, 1980

Voir les exemplaires

2
COMPUTABILITY.
Material Type:
Livre
Ajouter à Mon espace

COMPUTABILITY.

Berlin, Heidelberg : Springer, 1987

Voir les exemplaires

3
Material Type:
Versions multiples

Computability and logic.

Boolos, George (1940-1996.) ; Jeffrey, Richard Carl (1926-....) ; Martin, Roger, provenance (1920-1979)

Plusieurs versions trouvées
Il y a 4 versions

4
Material Type:
Livre
Ajouter à Mon espace

Transfinite type theory with type variables.

Andrews, Peter B.

Amsterdam : North-Holland, 1965

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

DERIVING VERY EFFICIENT ALGORITHMS FOR EVALUATING LINEAR RECURRENCE RELATIONS USING THE PROGRAM TRANSFORMATION TECHNIQUE.

Berlin Heidelberg : Springer, 1982

Voir les exemplaires

6
RECURSIVELY ENUMERABLE SETS AND DEGREES A STUDY OF COMPUTABLE FUNCTIONS AND COMPUTABLY GENERATED SETS.
Material Type:
Livre
Ajouter à Mon espace

RECURSIVELY ENUMERABLE SETS AND DEGREES A STUDY OF COMPUTABLE FUNCTIONS AND COMPUTABLY GENERATED SETS.

Berlin, Heidelberg : Springer, 1987

Voir les exemplaires

7
Material Type:
Versions multiples

Computability : an introduction to recursive function theory

Cutland, Nigel (1944-....)

Plusieurs versions trouvées
Il y a 2 versions

8
The Kleene symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
Material Type:
Livre
Ajouter à Mon espace

The Kleene symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A

Kleene Symposium Madison WI 1978. ; Barwise, Jon (1942-2000) ; Keisler, Howard Jerome (1936-....) ; Kunen, Kenneth ; Kleene, Stephen Cole (1909-1994)

Amsterdam New York NY Oxford : North-Holland, 1980

Voir les exemplaires

9
Computational complexity.
Material Type:
Livre
Ajouter à Mon espace

Computational complexity.

Wagner, Klaus Werner. ; Wechsung, Gerd.

Dordrecht Boston MA Lancaster : Reidel, 1986

Voir les exemplaires

10
Material Type:
Versions multiples

Fondements mathématiques de l'informatique.

Stern, Jacques (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

11
Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
Material Type:
Livre
Ajouter à Mon espace

Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy

Lifschitz, Vladimir

Boston London Sydney : Academic Press, 1991

Voir les exemplaires

12
Programmation : application de l'algèbre des programmes [CNAM cours B]
Material Type:
Livre
Ajouter à Mon espace

Programmation : application de l'algèbre des programmes [CNAM cours B]

Raymond, François-Henri (1914-....)

Paris New York etc. : Masson, 1982

Voir les exemplaires

13
Material Type:
Versions multiples

Fonctions récursives

Grzegorczyk, Andrzej (1922-....)

Plusieurs versions trouvées
Il y a 2 versions

14
Material Type:
Livre
Ajouter à Mon espace

SENTENCES UNDECIDABLE IN FORMALIZED ARITHMETIC. AN EXPOSITION OF THE THEORY OF KURT GOEDEL.

AMSTERDAM : NORTH-HOLLAND, 1964

Voir les exemplaires

15
Course in mathematical logic
Material Type:
Livre
Ajouter à Mon espace

Course in mathematical logic

Manin, Ûrij Ivanovič (1937-....) ; Koblitz, Neal (1948-....)

New York NY Heidelberg Berlin : Springer, 1977

Voir les exemplaires

16
Material Type:
Livre
Ajouter à Mon espace

Optimal Parallel Algorithms for Computing Recursively Defined Functions

S.L. : s.n., 1992

Voir les exemplaires

17
Material Type:
Versions multiples

Computation : finite and infinite machines

Minsky, Marvin (1927-....)

Plusieurs versions trouvées
Il y a 2 versions

18
Material Type:
Versions multiples

Foundations of mathematics : a study in the philosophy of science

Beth, Evert Willem (1908-1964.)

Plusieurs versions trouvées
Il y a 3 versions

19
Material Type:
Versions multiples

Cinq conférences sur l'indécidabilité

Bouleau, Nicolas. ; Girard, Jean-Yves (1947-....) ; Louveau, Alain.

Plusieurs versions trouvées
Il y a 2 versions

20
Material Type:
Versions multiples

Theory of recursive functions and effective computability

Rogers, Hartley (1926-....)

Plusieurs versions trouvées
Il y a 3 versions

Résultats 1 2 3 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (7)

Type de ressource 

  1. Actes de conférence  (2)
  2. Livres  (39)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1967  (6)
  2. 1967 à 1973  (5)
  3. 1974 à 1981  (10)
  4. 1982 à 1987  (10)
  5. Après 1987  (13)
  6. Plus d’options open sub menu

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Arbib, Michael A (1940-...)
  2. Moll, Robert N
  3. Kfoury, A. J
  4. Beth, Evert Willem (1908-1964)
  5. Salomaa, Arto (1934-...)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré