H Mechanical geometry theorem proving
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 36034 | 1007654 | GALERIE |
ISBN10 : 90-277-2650-7
Type de doc : M
Ville d'édition : Dordrecht
Langue ouvrage : eng
Collection : Mathematics and its applications
ISSN Collection : 0921-3791
Class. Math. 1991 : 68U05 ; 94B27
Class. Library : QA76.9.A96C48
N° LCCCN : 87-30387
Class. Dewey : 516'.0028'5
Class. informatique : I.2.3 ; I.3.5
Lien SUDOC : https://www.sudoc.fr/020500165