TY - GEN
AU - ADG 6 2006 Pontevedra
AU - Botana, Francisco
AU - Recio, Tomás
TI - Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
PB - Springer Berlin Heidelberg
SN - 9783540773566
KW - Computational complexity
KW - Optical pattern recognition
KW - Discrete groups
KW - Computer Science
KW - Computer science
KW - Artificial intelligence
KW - Computer graphics
KW - Machine theory.
KW - Pattern recognition systems.
KW - Geometry.
KW - Discrete mathematics.
KW - Automatic theorem proving Congresses
KW - Geometry Data processing Congresses
KW - Logic, Symbolic and mathematical Congresses
KW - Konferenzschrift 2006 Pontevedra
KW - Geometrie
KW - Automatisches Beweisverfahren
KW - Geometrische Modellierung
PY - 2007
BT - Lecture Notes in Computer Science ; 4869
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation