"Logique symbolique et mathématique Congrès." . . "Computer Graphics." . . "Computer graphics." . "Pattern perception." . . "International Workshop on Automated Deduction in Geometry." . . . . . "Optical pattern recognition." . . "Artificial Intelligence (incl. Robotics)" . . "ADG (6 : 2006.08 : Pontevedra)" . . . "Démonstration automatique de théorèmes." . . "Informatique." . . "International Workshop on Automated Deduction in Geometry, ADG (6 : 31-08-2006 - 02-09-2006 : Pontevedra, Spain)" . . . "International Workshop on Automated Deduction in Geometry (6 : 2006 : Pontevedra, Espagne)." . . . "Artificial intelligence." . . "Computer Science." . . "Computer science." . "Computational complexity." . . "Geometry Data processing." . . "Geometry Data Processing." . "Geometrie." . . "Géométrie." . "Automatisches Beweisverfahren." . . "Mathematical Logic and Formal Languages." . . "Mathematical Logic and Formal Languages" . "Théorèmes Démonstration automatique Congrès." . . "Discrete Mathematics in Computer Science." . . "Discrete Mathematics in Computer Science" . "Mustererkennung." . . "Geometrische Modellierung." . . "Géométrie Informatique Congrès." . . "Convex and Discrete Geometry." . . "Convex and Discrete Geometry" . "International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain)" . . . . . . "Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers" . . . . . . . . . . . "Automated deduction in geometry 6th international workshop : revised papers" . . . . . . "Conference papers and proceedings" . . "Conference papers and proceedings"@en . . . . . "Ressources Internet" . . . . . . "Automated deduction in geometry : 6th international workshop : revised papers" . . . . . . . . . "Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers" . . "Kongress"@en . "Kongress" . "Conference proceedings"@en . "Conference proceedings" . . . . "Automated deduction in geometry 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers"@en . . "Automated deduction in geometry 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers" . . . . "Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 ; revised papers" . . . . "This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies."@en . . . . "Electronic books"@en . "Electronic books" . . . . . . . "Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers"@en . . . . . . . . "ADG 2006"@en . . . "ADG 2006" . . . . "Automated Deduction in Geometry" . "Automated Deduction in Geometry"@en . . . . . "Automated deduction in geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers" . "Pontevedra (2006)"@en . . . . "Geometrie Automatisches Beweisverfahren Kongress Pontevedra <2006>" . . "Automatic theorem proving." . . "Automatic Theorem Proving." . "Traitement des données." . . "Geometrische Modellierung Kongress Pontevedra <2006>" . . "Discrete groups." . . "Logic, Symbolic and mathematical." . . "Logic, Symbolic and Mathematical." . "International Workshop on Automated Deduction in Geometry (6 : 2006.08 : Pontevedra)" . . .