Automated Deduction in Geometry
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Autor:
Francisco Botana, Tomas Recio
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.28
zł
The papers in this volume show the lively variety of topics and methods in automated deduction in ge...
