Universidad Nacional Autónoma de México
Centro de Investigaciones Multidisciplinarias sobre Chiapas y la Frontera Sur
Catálogo de la Biblioteca "Paul Kirchhoff"

Su búsqueda recuperó 5 resultados.

Ordenar
Resultados
Handbook of logic in artificial intelligence and logic programming / Ed. by dov m. gabbay, and c. j. hogger and j. a. Robinson

por Gabbay, Dov M, 1945- [editor] | Hogger, Christopher John [editor] | Robinson, John Alan [editor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1993-9999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 H35.

Introduction to logic : propositional logic / Howard Pospesel ; with an appendix on metatheory by William G. Lycan

por Pospesel, Howard, 1937- [autor] | Lycan, William G [colaborador] | Pospesel, Mark. PropLogic.

Edición: Rev. 3rd ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Upper Saddle River, New Jersey : Prentice Hall, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC181 P665 2000.

An introduction to transformational grammars.

por Bach, Emmon W, 1929- [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: New York : Holt, 1964Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: P123 B32.

Lógica simbólica para informáticos / Pascual Julián Iranzo

por Julián Iranzo, Pascual [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: México, D.F. : Alfaomega : Ra-Ma, 2005Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).

Reasoning about uncertainty / Joseph Y. Halpern

por Halpern, Joseph Y, nacimiento 1953 [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Cambridge, Massachusetts : The MIT Press, c2003Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: Q375 H35, ...

Páginas

Universidad Nacional Autónoma de México 

Biblioteca "Centro de Investigaciones Multidisciplinarias sobre Chiapas y la Frontera Sur"

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

Aviso de Privacidad