Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science (2930), Band 2930)
von
Franz Winkler
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-20927-0
ISBN-10: 3-540-20927-1
Springer
· 2008
