На данной странице предаставлены все книги автора «Pedro Quaresma»
Automated Deduction in Geometry. 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Francisco Botana,Pedro Quaresma)