m

Documents  Homer, S. | enregistrements trouvés : 1

O
K L Q M | g | F x r
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logic computer science :
lectures given at the first session of the centro internazionale matematico estivo c.i.m.e. held at montecatini terme#June 20-28 Homer, S. ; Nerode, A. ; Platek, R. A. ; Sacks, G. E. ; Scedrov, A. | Springer-Verlag 1990

Congrès

- 162 p.
ISBN 978-3-540-52734-3

Lecture notes in mathematics , 1429

Localisation : Collection 1er étage

informatique # logique # théorie de la recursion

03B20 ; 03B40 ; 03B70 ; 03D15

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z