Monographie
Mechanical theorem proving in geometries : basic principles
Wu, Wen-Tsun ; Jin, Xiaofan (Trad.) ; Wang, Dongming (Trad.)
1994
xiv, 288 p.
3-211-82506-1
WU m
Bibliothèque de l'IECL
IECL
Pays d'édition : Autriche
Ville d'édition : Wien
Langue : anglais
Collection : Texts and monographs in symbolic computation
ISSN Collection : 0943-853x
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | WU m MAT007090 |
LORIA [disponible] |
YRéserver |