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

Editore: Berlin, Springer, 2007

Riguardo questo articolo

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

Dati bibliografici

Titolo: Automated Deduction in Geometry. 6th ...

Casa editrice: Berlin, Springer

Data di pubblicazione: 2007

Legatura: Paperback

Condizione: Wie neu