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

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin n.3 514 : 68 WU/8694 Empruntable Disponible

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C01 Prêt sans prolongation Disponible