Su búsqueda recuperó 60 resultados.

Resultados
		Logic based program synthesis and transformation : 13th international symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / Maurice Bruynooghe, ed. por LOPSTR 2003 (2003 : Uppsala, Suecia) \| Bruynooghe, Maurice [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: LOPSTR 2003.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 I58 2004. Agregar al carrito (remover)
		Logic for learning : learning comprehensible theories from structured data / J.W. Lloyd por Lloyd, John Wylie, 1947- [autor]. Series Cognitive technologiesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2003Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.9L63 L56, ... Agregar al carrito (remover)
		Logic for programming artificial intelligence and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baade, Andrei Virinkov, eds. por LPAR (Conferencia) (11 : 2005 : Montevideo, Uruguay) \| Baader, Franz [editor] \| Voronkov, A. (Andrei), 1959- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 3452.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: LPAR 2003.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 I57 2004. Agregar al carrito (remover)
		The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer por Levesque, Hector J, 1951- [autor] \| Lakemeyer, Gerhard [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Cambridge, Massachusetts : The MIT Press, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q387 L48. Agregar al carrito (remover)
		Logica, introduccion a la filosofia y a la ciencia / Esteban Ortega por Ortega, Esteban [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México : Diana, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC50 O77. Agregar al carrito (remover)
		Logics for databases and information systems / ed. by Jan Chomicki and Gunter Saake por Chomicki, Jan [editor] \| Saake, Gunter, 1960- [editor]. Series The Kluwer international series in engineering and computer science ; SECS 436Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Boston : Kluwer Academic, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 L64. Agregar al carrito (remover)
		Matemáticas y razonamiento plausible / traducción por José Luis Abellán por Pólya, George, 1887-1985 [autor] \| Abellán, José Luis, 1933- [traductor]. Series Estructura y función ; 19Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Madrid : Tecnos 1966Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 P523. Agregar al carrito (remover)
		A mathematical introduction to logic / Herbert B. Enderton por Enderton, Herbert B [autor]. Edición: 2nd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: San Diego, California : Harcourt/Academic, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 E52 2001. Agregar al carrito (remover)
		Mathematical logic for computer science / Mordechai Ben-Ari por Ben-Ari, M, 1948- [autor]. Edición: 2nd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 B37865 2001. Agregar al carrito (remover)
		Natural language understanding / James Allen por Allen, James [autor]. Tipo de material: Texto; Formato: impreso Idioma: SPA Editor: Menlo Park, California : Benjamin/Cummings, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.7 A55 1995, ... Agregar al carrito (remover)
		Nonlinear biomedical signal processing / edited by Metin Akay por Akay, Metin [editor]. Series IEEE Press series in biomedical engineeringTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: New York : IEEE, 2000-2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: R857.S47 N65, ... Agregar al carrito (remover)
		Nonlinear integrals and their applications in data mining / Zhenyuan Wang, Rong Yang, Kwong-Sak Leung por Wang, Zhenyuan [autor] \| Yang, Rong [autor] \| Leung, Kwong Sak, 1955- [autor]. Series Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Singapore : World Scientific, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA248.5 W36, ... Agregar al carrito (remover)
		Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; versión española de Enrique Lines Escardo por Suppes, Patrick, 1922- [autor] \| Suppes, Patrick, 1922-. First course in mathematical logic \| Hill, Shirley A [autor] \| Lines Escardó, Enrique [traductor]. Edición: 4a ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: Español Lenguaje original: Inglés Editor: Barcelona ; México : Reverté, 1997Otro título: Introducción a la lógica matemática.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 S86 1997. Agregar al carrito (remover)
		Process model management using description logics / Gerd Groner por Groner, Gerd [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Heidelberg : IOS Press : Akademische Verlagsgesellschaft Aka , c2012Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TS156.8 G76, ... Agregar al carrito (remover)
		Programming logic and design / authored and edited by 3G E-learning LLC por 3G E-learning (Firma comercial). Tipo de material: Texto; Forma literaria: No es ficción Editor: New York : 3G E-learning, [2020]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 P7553. Agregar al carrito (remover)
		Proof and the art of mathematics : examples and extensions / Joel David Hamkins por Hamkins, Joel David [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Cambridge, Massachusetts : The MIT Press, [2021]Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.54 H3452, ... Agregar al carrito (remover)
		Soft computing and its applications : Kumar S. Ray por Ray, Kumar S [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Waretown, New Jersey : Apple Academic Press, [2015]Fecha de copyright: ©2015Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9S63 R39, ... Agregar al carrito (remover)
		Stable adaptive control and estimation for nonlinear systems : neural and fuzzy approximator techniques / Jeffrey T. Spooner ... [y otros.] por Spooner, Jeffrey [colaborador]. Series Adaptive and learning systems for signal processing, communications, and controlTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Wiley, c2002Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA402.35 S73. Agregar al carrito (remover)
		Alan Turing : his work and impact / S. Barry Cooper and J. van Leeuwen por Cooper, S. B. (S. Barry) [autor] \| Leeuwen, J. van (Jan) [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Waltham, Massachusetts : Elsevier, c2013Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA29.T8 C66, ... Agregar al carrito (remover)
		Uncertainty treatment using paraconsistent logic : introducing paraconsistent artificial neural networks / João Inácio da Silva Filho, Germano Lambert-Torres and Jair Minoro Abe por Silva Filho, João Inácio da [autor] \| Torres, Germano Lambert [autor] \| Abe, Jair Minoro [autor]. Series Frontiers in artificial intelligence and applications ; v. 211Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : IOS Press, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.87 S556. Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

Universidad Nacional Autónoma de México

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

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

Aviso de Privacidad