H Mechanical theorem proving in geometries
Wu, Wen-Tsun ; Jin, Xiaofan (Trad.) ; Wang, Donming (Trad.)
1994
xiv, 288 p. ; 24 cm
39533
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 39533 | 1014879 | AGREG |
Sous-titre : basic principles
ISBN10 : 3-211-82506-1
Type de doc : M
Ville d'édition : Wien
Pays d'édition : at
Langue ouvrage : eng
Collection : Texts and monographs in symbolic computation
ISSN Collection : 0943-853X
Bibliographie : Bibliogr. p. 281-284
Class. Library : QA448.D38W8
N° LCCCN : 94-1452
Class. Dewey : 516'001'5113
Class. informatique : F.4.1 ; I.2.3
Lien SUDOC : https://www.sudoc.fr/018246605