Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31/September 2, 2006, Revised Papers (Lecture Notes in Computer Science (4869), Band 4869)

Pontevedra

von Francisco Botana

Taschenbuch

ISBN: 978-3-540-77355-9

ISBN-10: 3-540-77355-X

Springer · 2008