Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science (3763), Band 3763)

Gainesville

von: Hoon Hong · Dongming Wang

Taschenbuch

ISBN-13: 978-3-540-31332-8

ISBN-10: 3-540-31332-X

Springer Berlin Heidelberg · 2010