Normal view
MARC view
Felty, Amy P (Personal Name)
Machine generated authority record.
Work cat.: ()1375042: Automated Deduction - CADE-25, 2015.
