عنوان

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

421660

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

Berlin ; New York

Springer

c2006

x, 211 p. : ill

Lecture notes in computer science. Lecture notes in artificial intelligence

Includes bibliographical references and index

Congresses ، Geometry - Data processing

Congresses ، Automatic theorem proving

Congresses ، Logic, Symbolic and mathematical

448

D38

I577

2004

Hoon Hong, Dongming Wang )eds.(

AU nooH ,gnoH

AU gnimgnoD ,gnaW

International Workshop on Automated Deduction in Geometry)5th :2004 :Gainesville, Fla.(