Automated Deduction in Geometry: 6th Inteational

Automated Deduction in Geometry: 6th Inteational Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes .. / Lecture Notes in Artificial Intelligence)

Hardcover: 213 pages

Publisher: Springer (December 12, 2007)

Language: English

ISBN-10: 354077355X