عنوان

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

4th : 2002 : Linz, Austria

Berlin

Springer-Verlag

c2004

vi, 229 p.: ill

Lecture notes in computer science; 0392. Lecture notes in artificial intelligence

Includes bibliographies

ISBN: 3540209271

Franz Winkler )ed.(

Data processing -- Congresses ، Geometry

Congresses ، Automatic theorem proving

Congresses ، Logic, Symbolic and mathematical

L28

Vol

2930

AU Winkler, Franz, 1955-

SE Lecture notes in computer science 2930

International Workshop on Automated Deduction in Geometry