Звичайний вигляд
Перегляд у МАРК
Platzer, André(Personal Name)
Machine generated authority record
Work cat.: (UA-OsUOA): Automated Deduction – CADE 28
Machine generated authority record
Work cat.: (UA-OsUOA): Automated Deduction – CADE 28