Automated Deduction in Geometry
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Szerző:
Francisco Botana, Tomas Recio
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 173
Ft
The papers in this volume show the lively variety of topics and methods in automated deduction in ge...
