Normal view
MARC view
- Platzer, André
Platzer, André (Personal Name)
Machine generated authority record.
Work cat.: (JGU)2855354: Automated Deduction - CADE 28