Automated deduction in geometry revised papers, September 25 - 27, 2000

Saved in:

Bibliographic Details
Corporate Author:	International Workshop
Other Authors:	Richter-Gebert, J?rgen 1963-, Wang, Dongming
Format:	Book
Published:	Berlin Springer 2001
Series:	Lecture notes in aritificial intelligence v. 2061 : lecture notes in computer science
Subjects:	Logic, Symbolic and mathematical > Congresses Geometry > Data processing > Congresses Automatic theorem proving > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet