Vista normal
Vista MARC
- Wirsing, Martin.
Wirsing, Martin. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)278976: Poernomo, Iman Hafiz. autor 302992, Adapting Proofs-as-Programs :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)278976: Poernomo, Iman Hafiz. autor 302992, Adapting Proofs-as-Programs :