Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001
Schriftenreihe:Lecture notes in computer science 2061 : Lecture notes in artificial intelligence
Schlagworte:
Beschreibung:Literaturangaben
Beschreibung:VIII, 323 S. graph. Darst.
ISBN:3540425985

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!