Media type: Book; Conference Proceedings Title: Automated deduction in geometry : third international workshop, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers Contributor: Richter-Gebert, Jürgen [Hrsg.] Event: ADG imprint: Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2061 Extent: VIII, 323 S; graph. Darst; 24 cm Language: English ISBN: 3540425985 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Geometrie > Automatisches Beweisverfahren Geometrische Modellierung Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5235 Item ID: 30083386 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order