Normal view MARC view

International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal) (Meeting Name)

Number of records used in: 1

Preferred form: International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal)

Machine generated authority record.

Work cat.: (AT-ISTA): International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal), Automated deduction in geometry :