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
Material Type:
Versions multiples

Degree spectra of relations on a cone

Harrison-Trainor, Matthew.

Plusieurs versions trouvées
Il y a 2 versions

2
Material Type:
Versions multiples

Techniques of Admissible Recursion Theory

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

Plusieurs versions trouvées
Il y a 2 versions

3
Recursion-theoretic hierarchies
Material Type:
Livre
Ajouter à Mon espace

Recursion-theoretic hierarchies

Hinman, Peter G.

Berlin Heidelberg New York : Springer-Verlag, 1978

Voir les exemplaires

4
Initial segments of degrees below 0' [underlined]
Material Type:
Livre
Ajouter à Mon espace

Initial segments of degrees below 0' [underlined]

Epstein, Richard L. (1947-....)

Providence, R.I. : American Mathematical Society, 1981

Voir les exemplaires

5
Material Type:
Versions multiples

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Caltech-UCLA logic seminar 3 1979-1981 Los Angeles, Calif. ; Kechris, Alexander Sotirios (1946-....) ; Martin, Donald A. (1940-....) ; Moschovakis, Yiannis N

Plusieurs versions trouvées
Il y a 2 versions

6
Recursion theory
Material Type:
Livre
Ajouter à Mon espace

Recursion theory

Shoenfield, Joseph Robert (1927-2000.)

Urbana Ill. Natick Mass. : Association for symbolic logic A. K. Peters, 2001

Voir les exemplaires

7
Algorithm design : a recursion transformation framework
Material Type:
Livre
Ajouter à Mon espace

Algorithm design : a recursion transformation framework

Paull, Marvin C.

New York Chichester Brisbane etc. : John Wiley & Sons, 1988

Voir les exemplaires

8
Algorithmics : theory and practice
Material Type:
Livre
Ajouter à Mon espace

Algorithmics : theory and practice

Brassard, Gilles (1955-....) ; Bratley, Paul (1940-....)

Englewood Cliffs N.J. : Prentice Hall, 1988

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

Théorie générale des fonctions : grandeur, limite, argument et fonction. 1. Métaphysique et théorie des concepts mathématiques fondamentaux

Du Bois-Reymond, Paul (1831-1889.) ; Milhaud, Gaston (1858-1918) ; Girot, A. (18..-19..?)

Nice : Imprimerie niçoise, 1887

Voir les exemplaires

10
Aspects of incompleteness
Material Type:
Livre
Ajouter à Mon espace

Aspects of incompleteness

Lindström, Per (1936-....)

Urbana Ill. Natick Mass. : Association for symbolic logic A. K. Peters, 2003

Voir les exemplaires

11
Material Type:
Versions multiples

Potential wadge classes

Lecomte, Dominique (1964-....)

Plusieurs versions trouvées
Il y a 2 versions

12
Récursivité
Material Type:
Livre
Ajouter à Mon espace

Récursivité

Azra, Jean-Pierre. ; Jaulin, Bernard. ; Lacombe, Daniel, mathématicien

Paris Bruxelles Montréal : Gauthier-Villars, 1973

Voir les exemplaires

13
Generalized recursion theory : proceedings of the 1972 Oslo symposium
Material Type:
Acte de conférence
Ajouter à Mon espace

Generalized recursion theory : proceedings of the 1972 Oslo symposium

Symposium on generalized recursion theory 1 1972 Oslo. ; Fenstad, Jens Erik ; Hinman, Peter G.

Amsterdam etc. New York : North-Holland Publishing Company American Elsevier Publishing Company, inc., 1974

Voir les exemplaires

14
Material Type:
Versions multiples

Lehrbuch der Funktionentheorie. 1

Osgood, William Fogg (1864-1943.)

Plusieurs versions trouvées
Il y a 2 versions

15
Material Type:
Versions multiples

Theory of recursive functions and effective computability

Rogers, Hartley (1926-....)

Plusieurs versions trouvées
Il y a 3 versions

16
Material Type:
Versions multiples

Solutions manual for Recursive Methods in Economic Dynamics

Irigoyen, Claudio ; Rossi-Hansberg, Esteban ; Wright, Mark L. J

Plusieurs versions trouvées
Il y a 3 versions

17
E-recursion, forcing and C*-algebras
Material Type:
Livre
Ajouter à Mon espace

E-recursion, forcing and C*-algebras

Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A.

New Jersey N.J. London Singapore etc. : World Scientific, 2014

Voir les exemplaires

18
First-order dynamic logic
Material Type:
Livre
Ajouter à Mon espace

First-order dynamic logic

Harel, David (1950-....)

Berlin Heidelberg New York : Springer-Verlag, 1979

Voir les exemplaires

19
Recursion on the countable functionals
Material Type:
Livre
Ajouter à Mon espace

Recursion on the countable functionals

Normann, Dag (1947-....)

Berlin Heidelberg New York : Springer-Verlag, 1980

Voir les exemplaires

20
Techniques of admissible recursion theory
Material Type:
Livre
Ajouter à Mon espace

Techniques of admissible recursion theory

Chong, Chi-Tat

Berlin Heidelberg New York etc. : Springer, 1984

Disponible(Obtenir)

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.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (7)
  2. Articles  (2)
  3. Livres  (44)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1978  (7)
  2. 1978 à 1983  (14)
  3. 1984 à 1995  (18)
  4. 1996 à 2006  (9)
  5. Après 2006  (5)
  6. Plus d’options open sub menu

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é