1 option
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.).
LIBRA QA448.D38 I577 2000
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
- Series:
- Lecture notes in computer science ; 2061.
- Lecture notes in computer science. Lecture notes in artificial intelligence
- Lecture notes in computer science ; 2061. Lecture notes in artificial intelligence
- Language:
- English
- Subjects (All):
- Geometry--Data processing--Congresses.
- Geometry.
- Geometry--Data processing.
- Automatic theorem proving--Congresses.
- Automatic theorem proving.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 323 pages : illustrations ; 24 cm.
- Other Title:
- ADG 2000
- Place of Publication:
- Berlin ; New York : Springer, [2001]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540425985
- OCLC:
- 47996332
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.