Normal view
MARC view
Fleuriot, Jacques, 1972-(Personal Name)
Machine generated authority record.
Work cat.: (UIAM)503113: International Workshop on Automated Deduction in Geometry (9th : 2012 : Edinburgh, Scotland) 7070, Automated deduction in geometry :