Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers - International Workshop on Automated Deduction in Geometry 2006 : Pontevedra, Spain); Botana, Francisco; Recio, T. (Tomas), 1949-; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Includes bibliographical references and index.
Keywords: Geometry -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses