Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Bibliographic Details
Corporate Author:	International Workshop on Automated Deduction in Geometry Zurich, Switzerland
Other Authors:	Richter-Gebert, Jürgen, 1963-, Wang, Dongming
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2061. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Geometry > Data processing > Congresses. Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage