Botana, Francisco and Tomas Recio (Edts.):
Automated Deduction in Geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31 - September 2, 2006, Revised Papers. (=Lecture notes in computer science ; Vol. 4869 : Lecture notes in artificial intelligence).
Berlin, Springer, 2007. X, 211 S.; Ill. Paperback Like new. Shrink wrapped. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.
Antiquariat Thomas Haker
Professional sellerBook number: 819251
€ 26.50 [Appr.: US$ 28.37 | £UK 22.75 | JP¥ 4489]
Keywords: Geometrie ; Automatik, Beweisverfahren, Modellierung ; Mathematik, Informatik ISBN: 9783540773559