Normal view
MARC view
Schreck, Pascal (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany) 43420, Automated deduction in geometry :, ©2011.