Mechanical theorem proving in geometries : basic principles

Mechanical theorem proving in geometries : basic principles

Enregistré dans:
Détails bibliographiques
Auteur principal : Wu Wenjun (Auteur)
Autres auteurs : Wang Dongming (Traducteur), Jin Xiaofan (Traducteur)
Format : Livre
Langue : anglais
Titre complet : Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu; transl. from the Chinese by Xiaofan Jin and Dongming Wang
Publié : Wien, New York : Springer-Verlag , cop. 1994
Description matérielle : 1 vol. (XIV-288 p.)
Collection : Texts and monographs in symbolic computation
Sujets :
Théorèmes > Démonstration automatique
Géométrie > Informatique
Description
Notes : "Publié pour la première fois en chinois sous le titre 'Basic principles of mechanical theorem proving in geometries' par Science Press, Beijing, 1984"--T.p. verso
Bibliographie : Bibliogr. p. [281]-284. Index
ISBN : 0-387-82506-1
3-211-82506-1