Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers /

Corporate Author: SpringerLink (Online service)
Other Authors: Botana, Francisco. (Editor, http://id.loc.gov/vocabulary/relators/edt), Recio, Tomas. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Lecture Notes in Artificial Intelligence ; 4869
Subjects:
Online Access:https://doi.org/10.1007/978-3-540-77356-6