Media type: Book; Conference Proceedings Title: Automated deduction in geometry : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 ; revised papers Contributor: Sturm, Thomas [Hrsg.]; Zengler, Christoph [Other] Event: ADG imprint: Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6301 Extent: 224 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3642210457; 9783642210457 Publisher, production or purchase order numbers: Sonstige Nummer: 80062676 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Geometrie > Automatisches Beweisverfahren > Geometrische Modellierung Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 1338 Item ID: 32990334 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order