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).

Botana, Francisco and Tomas Recio (Edts.):

Published by Berlin, Springer, 2007

About this Item

X, 211 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 450.

Seller Inventory # 819251

Bibliographic Details

• 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).
• Publisher: Berlin, Springer
• Publication Date: 2007
• Language: English
• Binding: Paperback
• Condition: Wie neu