"Mathematical Logic and Formal Languages." . . "Automatisches Beweisverfahren." . . "Automatisches Beweisverfahren" . "Geometrische Modellierung." . . "Geometrische Modellierung" . "International Workshop on Automated Deduction in Geometry (4 : 2002 : Hagenberg Castle, AT)" . . . "modélisation géométrique." . . "Geometrische Modellierung Kongress." . . "Système déductif." . . . . "Automated deduction in geometry 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers" . "Automated deduction in geometry 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers"@en . . . . . . "This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics."@en . . . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . . . "Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers" . . . . . . . . . . . . . . "[Automated deduction in geometry] [4th international workshop ; revised papers]" . . "Hagenberg (Mühlkreis, 2002)"@en . . "Kongress" . "Online-Publikation" . "Automated deduction in geometry : 4th international workshop ; revised papers" . . "Hagenberg (Mühlkreis, 2002)" . . . . . . . . . . . . . . . "Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers" . . . "Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers" . . . "Electronic books"@en . "Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers"@en . . "ADG 2002"@en . "ADG 2002" . "Automated deduction in geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Automated deduction in geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers" . . . . . . . "Convex and Discrete Geometry." . . "Geometry Data processing Congresses." . . "MATHEMATICS Geometry General." . . "ADG (4 : 2002 : Hagenberg)" . . . "Geometry Data processing." . . "Geometry Data processing" . "Discrete Mathematics in Computer Science." . . "démonstration théorème." . . "Kongress." . . "Logique symbolique et mathématique Congrès." . . "Logique symbolique et mathématique - Congrès." . "ADG 2002 (2002 : Hagenberg Castle, Austria)" . . . "vérification formelle." . . "Geometrie Automatisches Beweisverfahren Kongress." . . "Résolution de problème." . . "Démonstration automatique de théorèmes." . . "International workshop on automated deduction in geometry (4. : Hagenberg Castle, Austria : 2002)" . . . "Géométrie Informatique Congrès." . . "Géométrie - Informatique - Congrès." . "Géométrie." . . "Geometrie." . "Geometrie" . "Geometry Congresses Data processing." . . "ADG <4, 2002, Hagenberg>" . . . . . "International workshop on automated deduction in geometry, ADG (4 : 04-09-2002 - 06-09-2002 : Hagenberg Castle, Austria)" . . . "Computer Graphics." . . "Logic, Symbolic and mathematical Congresses." . . "International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)" . . . "Hagenberg <Mühlkreis, 2002>." . . "Automatic theorem proving Congresses." . . "Logic, Symbolic and mathematical." . . "Logic, Symbolic and mathematical" . "International Workshop on Automated Deduction in Geometry" . . "Automatic theorem proving." . . "Automatic theorem proving" . "Pattern Recognition." . . "Computer Science." . . "CAO." . . "Théorèmes Démonstration automatique Congrès." . . "Théorèmes - Démonstration automatique - Congrès." . "Artificial Intelligence (incl. Robotics)" . . "déduction automatique." . . "vision ordinateur." . .