Author: Botana, Francisco and Tomas Recio (Edts.):
Title: 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).
Description: 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.

Keywords: Geometrie ; Automatik, Beweisverfahren, Modellierung ; Mathematik, Informatik ISBN: 9783540773559


See more books from our catalog: Informatik, Hardware, Software