TEST - Catálogo BURRF		    
Vista normal Vista MARC
  • Zhang, Xingyuan,

Zhang, Xingyuan, (Nombre personal)

Número de registros utilizados en: 1
Forma preferida: Zhang, Xingyuan,

Machine generated authority record.

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

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