Universidad Nacional Autónoma de México
Facultad de Ingeniería. Educación Continua y a Distancia
Catálogo de la Biblioteca "Ing. Bruno Mascanzoni"

Su búsqueda recuperó 7 resultados.

Ordenar
Resultados
El discreto encanto de las matematicas : 100 nuevos problemas de matematicas y logica / Mariano Mataix Lorda

por Mataix Lorda, Mariano [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Barcelona ; México : Marcombo, 1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA43 M3728.

Handbook of logic in computer science / Ed. by s. abramsky, dov m. gabbay, and t.s.e. maibaum

por Abramsky, Samson, 1953- [editor] | Gabbay, Dov M, 1945- [editor] | Maibaum, Thomas S. E, 1947- [editor].

Tipo de material: Texto Texto; Formato: impreso Editor: Oxford : Clarendon Press, 1900-9999Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA76 H339, ...

Lógica para informáticos / Rafel Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibañez

por Farré Cierra, Rafael [autor] | Nieuwenhuis, Robert [autor] | Nivela Alós, Pilar [autor] | Nivela Alós, Pilar [autor] | Oliveras Llunell, Albert [autor] | Rodríguez Carbonell, Enric [autor] | Sierra Santibañez, Josefina [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México : Alfaomega : Marcombo, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9M35 F37.

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

por Julián Iranzo, Pascual [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México, D.F. : Alfaomega : Ra-Ma, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9M35 I73.

Logic and complexity / Richard Lassaigne and Michel de Rougemont

por Lassaigne, Richard, 1944- [autor] | Rougemont, Michel de, 1953- [autor].

Series Discrete mathematics and theoretical computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Springer Verlag, [2004]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267.7 L37.

Logic and visual information / Eric M. Hammer

por Hammer, Eric M, nacimiento 1967 [autor].

Series Studies in logic, language, and informationTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Stanford, California : [Dordrecht?] : CSLI ; FoLLI, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q387.2 H35.

Logical reasoning with diagrams / ed. by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [y otros.]

por Allwein, Gerard, 1956- [colaborador] | Barwise, Jon [editor] | Allwein, Gerard, 1956- [colaborador] | University of Oxford.

Series Studies in logic and computation ; xxxTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York ; México : Oxford University Press, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 L646.

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


Universidad Nacional Autónoma de México 

Biblioteca "Ing. Bruno Mascanzoni" de la Facultad de Ingeniería

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

Aviso de Privacidad