Normal view MARC view

Quaresma, Pedro (Personal Name)

Number of records used in: 1
Preferred form: Quaresma, Pedro

Machine generated authority record.

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

Powered by Koha