Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540666721
Format: Paperback (287 pages) Publisher: Springer Published: 13 Oct 1999
Save for later