Normal view MARC view

International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany) (Meeting Name)

Preferred form: International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)

Machine generated authority record.

Work cat.: (AT-ISTA): International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany), Automated deduction in geometry :, ©2011.

Powered by Koha