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

Corporate Authors: International Workshop on Automated Deduction in Geometry (3rd 2000 Zurich, Switzerland
Group Author: Wang Dongming; Richter-Gebert Jürgen 1963-
Published: Springer,
Publication Dates: c2001.
Call Number: O18-532/A939/2000