Normal view
MARC view
- Fleuriot, Jacques
Fleuriot, Jacques (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Ida, Tetsuo. editor. 325742, Automated Deduction in Geometry, 2013.