Automated Deduction in Geometry
Subtitle: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
By: edited by Francisco Botana, Tomas Recio
Contributors: Recio, T. (Tómas), 1949-; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 4869
Publisher: Springer-Verlag Berlin Heidelberg; Springer
Published: 2007
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 211
ISBN-13: 9783540773559; 9783540773566
Subjects: Computational complexity; Computer graphics; Discrete groups; Computer science; Optical pattern recognition; Artificial intelligence