H Symposium on automatic demonstration
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 10209 | 1024752 | PROC 03-XX SYM | |
2 | 8830 | 1024753 | MAGASIN [non empruntable] |
Type de doc : C
Ville d'édition : Berlin
Collection : Lecture notes in mathematics
N° dans la collection : 0125
ISSN Collection : 0075-8434
Class. Math. 1991 : 03-XX
Ville du congrès : Versailles
Pays congres : fr
Année du congres : 1968
Lien SUDOC : https://www.sudoc.fr/004671945