Vista normal
Vista MARC
- Kauers, Manuel.
Kauers, Manuel. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)297390: Kauers, Manuel. editor., Towards Mechanized Mathematical Assistants :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)297390: Kauers, Manuel. editor., Towards Mechanized Mathematical Assistants :