![Cover image for Automated deduction in geometry [electronic resource] : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).](/client/assets/5.1326/ctx//client/images/no_image.png "Cover image for Automated deduction in geometry [electronic resource] : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).")
Automated deduction in geometry [electronic resource] : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).
Electronic Access:
DSU Current Faculty/Staff/Students click here
Title:
Automated deduction in geometry [electronic resource] : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).
Other Title:
ADG 2002
Publisher:
Berlin ; New York : Springer,
Publication Date:
2004
ISBN:
9783540246169
Series:
Lecture notes in computer science, Lecture notes in artificial intelligence
Volume:
2930.
Bibliography Note:
Includes bibliographical references and index.
Volume:
2930.
Added Author:
Genre:
Language:
English
