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
Chargement en cours