Cover Image

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

Show other versions (1)

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000. The 16 revised full papers and two invited papers presented were carefully selected for publication during...

Full description

Bibliographic Details
Corporate Authors: International Workshop on Automated Deduction in Geometry Zurich, Switzerland, SpringerLink (Online service)
Other Authors: Richter-Gebert, Jürgen, 1963-, Wang, Dongming
Format: Conference Proceeding eBook
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.
Automatic theorem proving.
Geometry > Data processing.
Logic, Symbolic and mathematical.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA448.D38 I577 2000
 
Call Number Status Get It
QA448.D38 I577 2000 Available