Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers ... Notes in Computer Science (1360), Band 1360)
von
Dongming Wang
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-64297-8
ISBN-10: 3-540-64297-8
Springer
· 2008
