Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu ; transl. from the Chinese by Xiaofan Jin and Dongming Wang [ Livre]

Auteur principal: Wu, WenjunLangue: Anglais ; Anglais ; de l'oeuvre originale, Chinois.Publication : Wien, New York : Springer, cop. 1994Description : XIV-288 p. ; 24 cmISBN: 3211825061; 0387825061.Collection: Texts and monographs in symbolic computationClassification: 514.7 Géométrie différentielleSujet - Nom commun: Théorèmes -- Démonstration automatique | Géométrie -- Informatique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Mathématiques
514.7 WUW (Browse shelf) Available 514.7 Géométrie différentielle 00006691

Trad. du chinois

Bibliogr. p. 281-284. Index

Powered by Koha