Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540773559
Format: Paperback (213 pages) Publisher: Springer Published: 12 Dec 2007
Save for later