Automated Deduction in Geometry

Taschenbuch

Details (Deutschland)

ISBN: 978-3-540-81972-1

ISBN-10: 3-540-81972-X

(978-3-540)