Reset Filters
Author: Rostami-Hodjegan,Amin

Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: International Workshop on Automated Deduction in Geometry (3rd 2000 Zurich, Switzerland
Group Author: Wang Dongming; Richter-Gebert Jürgen 1963-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2001.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 2061.
Subjects:
Automatic theorem proving
Logic, Symbolic and mathematical
Géométrie > Informatique > Congrès
Théorèmes > Démonstration automatique > Congrès
Logique symbolique et mathématique > Congrès
Geometry > Data processing
Carrier Form: viii, 323 p.: ill. ; 24 cm.
Publication Frequency: Also available via the World Wide Web.
ISBN: 3540425985 (acid-free paper)
Index Number: O18
CLC: O18-532
TP301.6-532
Call Number: O18-532/A939/2000
Contents: Includes bibliographical references and index.

Related Book Recommendations