Universidad Nacional Autónoma de México
Catálogo de la Unidad de Documentación  del Centro de Ciencias Matemáticas, Morelia

Su búsqueda recuperó 2 resultados.

Ordenar
Resultados
Temporal logic [recurso electrónico] : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F. V. Hasle.

por Øhrstrøm, Peter | Hasle, Per F. V [coautor] | Springer-Verlag.

Series Studies in linguistics and philosophy ; v. 57Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Dordrecht : Kluwer Academic, c1995Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Essays on non-classical logic / editor, Heinrich Wansing

por Wansing, H. (Heinrich) [editor].

Series Advances in logic ; v. 1Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: River Edge, New Jersey : World Scientific, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.4 E77.

Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Unidad de Documentación del Centro de Ciencias Matemáticas, Morelia

©2022 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad