Vista normal
Vista MARC
- Berghofer, Stefan.
Berghofer, Stefan. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)300455: Berghofer, Stefan. editor., Theorem Proving in Higher Order Logics :
TEST - Catálogo BURRF
