Automated Deduction in Geometry
10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Autor:
Francisco Botana, Pedro Quaresma
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
40.07
€
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Wo...
