TEST - Catálogo BURRF		    
Vista normal Vista MARC
  • Klein, Gerwin,

Klein, Gerwin, (Nombre personal)

Número de registros utilizados en: 2
Forma preferida: Klein, Gerwin,

Machine generated authority record.

Work cat.: (MX-SnUAN)318374: Interactive theorem proving :

Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha