Franz Winkler,
"Automated Theorem Proving in Nonlinear Geometry"
, in C. Hoffmann, in Issues in Robotics and Nonlinear Geometry, Vol. 6, JAI Press, Seite(n) 183-197, 1992
Original Titel:
Automated Theorem Proving in Nonlinear Geometry
Sprache des Titels:
Englisch
Journal:
Issues in Robotics and Nonlinear Geometry
Veröffentlicher:
JAI Press
Volume:
6
Seitenreferenz:
183-197
Erscheinungsjahr:
1992
Anzahl der Seiten:
15
Notiz zur Publikation:
Vol. 6 of Advances in Computing Research
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift