E-Book, Englisch, Band 2930, 229 Seiten
Winkler Automated Deduction in Geometry
2004
ISBN: 978-3-540-24616-9
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark
4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
E-Book, Englisch, Band 2930, 229 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-24616-9
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark




