m
     
Congrès

H 0 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. (Editeur) ; Nerode, A. (Editeur) ; Platek, R. A. (Editeur) ; Sacks, G. E. (Editeur) ; Scedrov, A. (Editeur)

Springer-Verlag

1990

162 p.

978-3-540-52734-3

00013989

03B20 ; 03B40 ; 03B70 ; 03D15

informatique # logique # théorie de la recursion

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540527343

ISBN : 3-540-52734-6

Collation : 25 cm#broch. ; Bibliogr. Pp. 142-150

Collection : Lecture notes in mathematics

N° de collection : 1429

Localisation : Collection 1er étage

Année de la rencontre : 1988

Ville du congrès : Montecatini

Pays du congrès : Italie

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013989 [disponible]
Z