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

6
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

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

11
Material Type:
Livre
Ajouter à Mon espace

Optimal Parallel Algorithms for Computing Recursively Defined Functions

S.L. : s.n., 1992

Voir les exemplaires

12
Material Type:
Versions multiples

Computation : finite and infinite machines

Minsky, Marvin (1927-....)

Plusieurs versions trouvées
Il y a 2 versions

13
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

14
Material Type:
Versions multiples

Fondements mathématiques de l'informatique.

Stern, Jacques (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

15
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

16
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

17
Material Type:
Versions multiples

Theory of recursive functions and effective computability

Rogers, Hartley (1926-....)

Plusieurs versions trouvées
Il y a 3 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

Fonctions récursives

Grzegorczyk, Andrzej (1922-....)

Plusieurs versions trouvées
Il y a 2 versions

20
A computational logic
Material Type:
Livre
Ajouter à Mon espace

A computational logic

Boyer, Robert S. ; Moore, J. Strother (1947-)

New York : Academic Press, 1979

Voir les exemplaires

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)

Affiner les résultats

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. Salomaa, Arto (1934-...)
  5. Moore, J. Strother (1947-)

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é