Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

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; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1993-9999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 H35.

Handbook of quantum logic and quantum structures : quantum logic / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann

por Engesser, Kurt [editor] | Gabbay, Dov M, 1945- [editor] | Lehmann, Daniel, 1946- [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Elsevier, 2009Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QC174.17M35 H353, ...

Handbook of the history of logic / edited by Dov M. Gabbay and John Woods

por Gabbay, Dov M, 1945- [editor] | Woods, John [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Elsevier, 2004-2012Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: BC15 H35, ...

Interpolation and definability : modal and intuitionistic logics / D. M. Gabbay, L. Maksimova

por Gabbay, Dov M, 1945- [autor] | Maksimova, Larisa Lvovna [autor].

Series Oxford logic guides ; 46Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Editor: Oxford : Clarendon Press, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA281 G33.

Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, proceedings / Dov M. Gabbay ...[y otros.]

por International Joint Conference on Qualitative and Quantitative Practical Reasoning ( 1997 : Bad Honnef, Alemania) | Gabbay, Dov M, 1945-.

Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1244.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q339.25 I57.

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

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

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

Aviso de Privacidad