عنوان

Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

5th : 2004 : Gainesville, Fla.

Berlin

Springer-Verlag

c2006

x, 211 p.: ill

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

Includes bibliographies

ISBN: 354031332X

Hoon Hong, Dongming Wang )eds.(

Data processing -- Congresses ، Geometry

Congresses ، Automatic theorem proving

Congresses ، Logic, Symbolic and mathematical

L28

Vol

3763

AU Hong, Hoon

AU Wang, Dongming, 1961-

SE Lecture notes in computer science 3763

International Workshop on Automated Deduction in Geometry