Vai al contenuto principale della pagina

Automated Deduction in Geometry [electronic resource] : Second International Workshop, ADG '98 Beijing, China, August 1-3, 1998 Proceedings / by Xiao-Shan Gao, Dongming Wang, Lu Yang



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Gao, Xiao-Shan Visualizza persona
Titolo: Automated Deduction in Geometry [electronic resource] : Second International Workshop, ADG '98 Beijing, China, August 1-3, 1998 Proceedings / by Xiao-Shan Gao, Dongming Wang, Lu Yang
Link to work: Automated Deduction in Geometry Visualizza cluster
Pubblicazione: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999
Index term-Uncontrolled: Computer Science
Artificial Intelligence (incl. Robotics)
Computer Graphics
Geometry
Image Processing and Computer Vision
Mathematical Logic and Formal Languages
Soggetto non controllato: Computer Science
Artificial Intelligence (incl. Robotics)
Computer Graphics
Geometry
Image Processing and Computer Vision
Mathematical Logic and Formal Languages
Termine d'indicizzazione-Occupazione: Computer Science
Artificial Intelligence (incl. Robotics)
Computer Graphics
Geometry
Image Processing and Computer Vision
Mathematical Logic and Formal Languages
Creatori/Collaboratori: Wang, Dongming
Yang, Lu.
Accesso ente: SpringerLink (Online service)
Collana: Lecture notes in computer science, 0302-9743 ; 1669
ISBN: 9783540479970
Formato: Software
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 7355960
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/3-540-47997-X
Lo trovi qui: University of Chicago
Item: Permalink to OPAC
Fa parte di: Springer e-books