Automated Deduction In Geometry Second International Workshop Adg98 Beijing China | Desertcart Israel
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings: 1669 (Lecture Notes in Computer Science) Paperback – Import, 13 October 1999
