Vista normal
Vista MARC
- Geuvers, Herman.
Geuvers, Herman. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)304878: Eekelen, Marko. editor. 338320, Interactive Theorem Proving :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)304878: Eekelen, Marko. editor. 338320, Interactive Theorem Proving :