Automated Deduction in Geometry
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Autor:
Francisco Botana, Tomas Recio
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
276.36
lei
The papers in this volume show the lively variety of topics and methods in automated deduction in ge...
