A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Xiaofan JIN |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Mechanical theorem proving in geometries / Wen-Tsün WU (Cop. 1994)
Titre : Mechanical theorem proving in geometries : basic principles Type de document : texte imprimé Auteurs : Wen-Tsün WU, Auteur ; Dongming WANG, Traducteur ; Xiaofan JIN, Traducteur Editeur : Berlin : Springer-Verlag Année de publication : Cop. 1994 Collection : Texts and monographs in symbolic computation, ISSN 0943-853X Importance : XIV-288 p. Présentation : ill. ISBN/ISSN/EAN : 978-3-211-82506-8 Langues : Anglais Langues originales : Chinois Mots-clés : géométrie informatique traitement de l'information Note de contenu : index, références Mechanical theorem proving in geometries : basic principles [texte imprimé] / Wen-Tsün WU, Auteur ; Dongming WANG, Traducteur ; Xiaofan JIN, Traducteur . - Berlin : Springer-Verlag, Cop. 1994 . - XIV-288 p. : ill.. - (Texts and monographs in symbolic computation, ISSN 0943-853X) .
ISBN : 978-3-211-82506-8
Langues : Anglais Langues originales : Chinois
Mots-clés : géométrie informatique traitement de l'information Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité E427 WU/68/CAE 404 Livre Recherche Salle Disponible