TY - BOOK
AU - ADG 3 2000 Zürich
AU - Richter-Gebert, Jürgen
TI - Automated deduction in geometry third international workshop, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers
PB - Springer
SN - 3540425985
KW - Geometry Data processing Congresses
KW - Logic, symbolic and mathematical Congresses
KW - Automatic theorem proving Congresses
KW - Konferenzschrift 2000 Zürich
KW - Geometrie
KW - Automatisches Beweisverfahren
KW - Geometrische Modellierung
PY - 2001
N2 - Literaturangaben
BT - Lecture notes in computer science ; 2061 ; Lecture notes in artificial intelligence
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation