Media type: Book; Conference Proceedings Title: Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16 - 18, 2004; revised papers Contributor: Hong, Hoon [Hrsg.] Event: ADG imprint: Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3763 Extent: X, 311 S.; graph. Darst Language: English ISBN: 354031332X; 9783540313328 Publisher, production or purchase order numbers: Sonstige Nummer: 11615798 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Geometrie > Automatisches Beweisverfahren Geometrische Modellierung Geometrie > Automatisches Beweisverfahren > Geometrische Modellierung Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7260 Item ID: 31491400 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order