Describir :: Library Catalog

Saltar al contenido

Login

0 elementos (Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
- Inglés
- Español
- Francés
- Galego

Términos de búsqueda Búsqueda Avanzada

Theorem Proving in Higher Orde...
Describir

Describir: Theorem Proving in Higher Order Logics

Número:

Proveedor:

Coordinación de Servicios Documentales

Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

Historial de Búsqueda
Catálogo Anterior

¿Necesitas ayuda?

Consejos de búsqueda
Consulte a un Bibliotecario
Preguntas Frecuentes

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.

Cannot write session to /tmp/vufind_sessions/sess_bbh52rku7atonafd7hn7etuck9