Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : Wu, Wenjun  Voir les notices liées en tant qu'auteur

Titre(s) : Mechanical theorem proving in geometries [Texte imprimé] : basic principles / Wen-tsün Wu ; transl. from the Chinese by Xiaofan Jin and Dongming Wang

Publication : Wien ; New York : Springer, cop. 1994

Description matérielle : XIV-288 p. : ill. ; 24 cm

Collection : Texts and monographs in symbolic computation

Lien à la collection : Texts and monographs in symbolic computation  Voir toutes les notices liées

Note(s) : Trad. du chinois. - Bibliogr. p. 281-284. Index

Autre(s) auteur(s) : Jin, Xiaofan. Traducteur  Voir les notices liées en tant qu'auteur
Wang, Dongming. Traducteur  Voir les notices liées en tant qu'auteur

Sujet(s) : Géométrie -- Informatique  Voir les notices liées en tant que sujet
Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  516.002 85 (23e éd.) = Géométrie - Informatique appliquée  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-211-82506-1 (Wien). - ISBN 0-387-82506-1 (New York)

Identifiant de la notice  : ark:/12148/cb37427282v

Notice n° :  FRBNF37427282