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 externesMechanical theorem proving in geometries (Cop. 1994) / Wen-Tsün WU
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. ISBN/ISSN/EAN : 978-0-387-82506-9 Langues : Anglais (eng) Langues originales : Chinois (chi) Mots-clés : géométrie théorème mécanique informatique 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 . - Springer-Verlag, Cop. 1994 . - XIV-288 p.. - (Texts and monographs in symbolic computation, ISSN 0943-853X) .
ISBN : 978-0-387-82506-9
Langues : Anglais (eng) Langues originales : Chinois (chi)
Mots-clés : géométrie théorème mécanique informatique Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité E427 WU/CAE 404 Livre Enseignement Salle Disponible