Universidad Nacional Autónoma de México
Facultad de Ingeniería. Posgrado
Catálogo de la Biblioteca "Dr. Enzo Levi”

Refinar su búsqueda

Su búsqueda recuperó 136 resultados.

Ordenar
Resultados
Logical aspects of computational linguistics : 5th international conference, LACL 2005, Bordeaux, France April 2005 : proceedings / Philippe Blanche ... [y otros.], eds.

por LACL 2005 (2005 : Bordeaux, Francia) | Blache, Philippe [editor].

Series Lecture notes in artificial intelligence ; 3492 | Lecture notes in computer science ; 3492 | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: P98.5L63 L33 2005.

Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 ; proceedings / Michael Fisher ... [y otros.] (eds.)

por JELIA 2006 (10 : 2006 : Liverpool, Reino Unido) | Fisher, Michael, 1962- [editor].

Series Lecture notes in computer science ; 4160 | Lecture notes in artifical intelligenceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 J45 2006.

Logistics engineering and management / Benjamin s. Blanchard

por Blanchard, Benjamin S [autor].

Series Prentice-hall international series in industrial and systems engineeringEdición: 4Tipo de material: Texto Texto; Formato: impreso Editor: Englewood cliffs, new jersey : Prentice Hall, c1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA168 B528 1992.

Manual de lógica para estudiantes de matemáticas / Gonzalo Zubieta Russi

por Zubieta Russi, Gonzalo [autor].

Series Serie de matemáticasTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México, D.F. : Editorial Trillas, 1968Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 Z83.

Mathematical logic.

por Kleene, Stephen Cole, 1909-1994 [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Wiley, 1967Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 K652.

Mathematical logic.

por Monk, J. Donald (James Donald), 1930- [autor].

Series Graduate texts in mathematics ; 37Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: New York : Springer Verlag, 1976Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 M65.

Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton

por Lightstone, A. H [autor] | Enderton, Herbert B.

Series Mathematical concepts and methods in science and engineering ; v. 9Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Plenum, c1978Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 L52.

Mathematical logic / George Tourlakis

por Tourlakis, George J [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hoboken, N.J. : J. Wiley, c2008Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 T68.

Mathematical logic by joseph r. shoenfield.

por Shoenfield, Joseph Robert, 1827 [autor].

Series Addison-Wesley series in logicTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading mass : Addison-wesley, 1967Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 S5.

Mathematical logic in latin america : Proceedings of the iv latin american symposium on mathematical logic held in santiago, december 1978 / Edited by a. i. arruda... y otros.!

por Latin-american Symposium On Mathematical Logic, 4 Santiago De Chile 1978 | Arruda, Ayda I.

Series Studies in logic and the foundations of mathematics ; v. 99Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1980Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.A9 L37 1978.

Mathematical logic with special reference to the natural numbers.

por Steen, Stourton William Peile [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Eng. university, 1972Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 S83.

Mathematical recreations of Lewis Carroll

por Carroll, Lewis, 1832-1898 [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Dover, 1958Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA95 D598.

Modal and temporal properties of processes / Colin Stirling

por Stirling, Colin P [autor].

Series Texts in computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 S75.

Natural deduction : the logical basis of axiom systems / John M. Anderson and Henry W. Johnstone, Jr.

por Anderson, John Mueller [autor] | Johnstone, Henry W [autor].

Tipo de material: Texto Texto; Formato: impreso Editor: Belmont, california : Wadsworth, c1962Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC71 A53.

Natural language understanding / James Allen

por Allen, James [autor].

Tipo de material: Texto Texto; Formato: impreso Editor: Menlo Park, California : Benjamin/Cummings, c1987Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).

El nombrar y la necesidad / Saul A. Kripke ; traducción de Margarita M. Valdés

por Kripke, Saul A, 1940- [autor] | Kripke, Saul A, 1940-. Naming and necessity | Valdés, Margarita M. (Valdés Villareal) [traductor] | Universidad Nacional Autónoma de México. Instituto de Investigaciones Filosóficas.

Series Coleccion estudios monograficos. serie textos fundamentalesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México : UNAM, Instituto de Investigaciones Filosoficas, 1985Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: BC199.M6 K7418, ...

Paraconsistency : the logical way to the inconsistent : proceedings of the World Congress held in Sao Paulo / edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M.L. D'Ottaviano

por World Congress on Paraconsistency (2o : 2000 : Sao Paulo, Brasil) | Carnielli, Walter Alexandre [editor] | Coniglio, Marcelo E, 1963- [editor] | D'Ottaviano, Itala Maria Loffredo, 1944- [editor].

Series Lecture notes in pure and applied mathematics ; v. 228Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : M. Dekker, c2002Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC199.I45 W67 2002.

Physics, logic, and history : Based on the first international colloquim held at the university of denver, may 16-20, 1966 / Ed. by wolfgang yourgrau and allan d. breck

por Yourgrau, Wolfgang [editor] | Breck, Allen duPont [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Plenum, 1970Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QC6 P49.

Principles of intuitionism : Lectures presented at the summer conference on intuitionism and proof theory (1968) oct suny at buffalo, n. y. / A. s. troelstra

por Troelstra, A. S. (Anne Sjerp) [autor].

Series Lecture notes in mathematics ; 95Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1969Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.47 T76.

Problemas de matematica discreta / G. p. gavrilov, a. a. sapozhenko, traducido del ruso por Bernardo de Río salceda

por Gavrilov, G. P [autor] | Sapozhenko, A. A.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Moscu : Mir, 1980Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA8.4 G38, ...

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


Universidad Nacional Autónoma de México 

Biblioteca "Dr. Enzo Levi” Conjunto sur, Edificio de Posgrado de la Facultad de Ingeniería

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

Aviso de Privacidad