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ó 138 resultados.

Ordenar
Resultados
Constructing logic programs / Ed. by Jean-marie jacquet

por Jacquet, Jean-Marie [editor].

Series Wiley professional computingTipo de material: Texto Texto; Formato: impreso Editor: Chichester : J. Wiley, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 C65.

Critical thinking; an introduction to logic and scientific method.

por Black, Max, 1909- [autor].

Series Prentice-hall philosophy seriesEdición: 2Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: New York : Prentice Hall, 1952Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: BC71 B57 1952, ...

Deductive databases and logic programming / Subrata kumar das

por Das, Subrata Kumar [autor].

Series International series in logic programmingTipo de material: Texto Texto; Formato: impreso Editor: Workingham, england : Addison-wesley, 1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D153 D37.

Desde un punto de vista logico / traducción de Manuel Sacristán

por Quine, W. V. (Willard Van Orman) [autor].

Series Colección zetein-estudios y ensayos ; 7Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Barcelona : Ariel, c1962Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC71 Q48.

The development of mathematical logic.

por Nidditch, P. H [autor].

Series Monographs in modern logicTipo de material: Texto Texto; Forma literaria: No es ficción Editor: London : Routledge & K. Paul, c1962Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 N49.

Elementary logic / Willard Van Orman Quine

por Quine, W. V. (Willard Van Orman) [autor].

Series Harper torchbooks. Science library | Harper torchbooks ; TB577JEdición: Rev. ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Harper & Row, 1965Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 Q78 1965.

Enhancing the power of the Internet / Masoud Nikravesh ... [y otros.], (eds.)

por Nikravesh, Masoud, 1959- [editor].

Series Studies in fuzziness and soft computing ; v. 139Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9S63 E54.

The evolution of logic / W.D. Hart

por Hart, W. D. (Wilbur Dyre), 1943- [autor].

Series The Evolution of modern philosophyTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Cambridge University Press, 2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC15 H37.

Extensional paramodulation for higher-order logic and its effective implementation Leo-III / Alexander Steen

por Steen, Alexander [autor].

Series Dissertations in artificial intelligence ; volume 345Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Berlin : IOS Press ; Akademische Verlagsgesellschaft, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 S74.

A first course in fuzzy logic / Hung T. Nguyen and Elbert A. Walker

por Nguyen, Hung T, 1944- [autor] | Walker, Elbert, 1930- [autor].

Edición: 2nd ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: Boca Raton, FL : Chapman and Hall, 2000Otro título: Fuzzy logic.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.87 N685 2000.

A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman

por Hedman, Shawn [autor].

Series Oxford texts in logic ; 1Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Oxford, UK : Oxford University Press, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 H36.

First course in mathematical logic / Patric Suppes, Shirley Hill

por Suppes, Patrick, 1922- [autor] | Hill, Shirley A [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Waltham, massachusetts : Blaisdell, 1964Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 S859.

First course on fuzzy theory and applications / Kwang H. Lee

por Lee, Kwang Hyung [autor].

Series Advances in soft computingTipo 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: QA248.5 L44.

Form and strategy in science : Studies dedicated to joseph henry woodger on the occasion of his seventieth birthday / Ed. by John r. gregg and f. t. c. Harris.

por Gregg, John Richard [ed.].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Dordrecht : Holland, d. reidel, 1964Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q175 G74.

Foundations of fuzzy logic and Semantic Web languages / Umberto Straccia

por Straccia, Umberto [autor].

Series Chapman & Hall/CRC studies in informatics seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boca Raton, FL ; London ; New York : Chapman & Hall/CRC, [2014]Fecha de copyright: ©2014Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7 S76.

Foundations of geometry & induction / By Jean nicod ; with pref. by bertrand russell & aldre lalande

por Nicod, Jean, 1893-1942 [autor] | Lalande, André, 1867-1963 [prologuista] | Russell, Bertrand, 1872-1970 [prologuista].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Harcourt, Brace, 1930Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA681 N53.

Foundations of logic programming / J. w. lloyd

por Lloyd, John Wylie, 1947- [autor].

Series Symbolic computation. artificial intelligenceEdición: 2 # extended ed.Tipo de material: Texto Texto; Formato: impreso Editor: Berlin : Springer Verlag, c1987Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 L55 1987.

Foundations of mathematical logic / Haskell b. curry

por Curry, Haskell B. (Haskell Brooks), 1900-1982 [autor].

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

Fundamentals of symbolic logic / By Alice ambrose and Morris lazerowitz.

por Ambrose, Alice, 1906- [autor] | Lazerowitz, Morris, 1909-.

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

Fuzzy logic and hydrological modeling / Zekai Sen

por Sen, Zekâi [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boca Raton : CRC Press, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: GB656.2H9 S45.

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