Automated Deduction in Geometry
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Autor:
Francisco Botana, Tomas Recio
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
50.11
€
The papers in this volume show the lively variety of topics and methods in automated deduction in ge...
