Resultados de la búsqueda para 'su:"Lógica."'

Resultados
		Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, April 1996 selected papers / Christian Retore (ed.) por LACL '96 (1996 : Nancy, Francia). Series Lecture notes in computer science ; 1328Tipo de material: Texto; Formato: impreso Detalles de publicación: Berlin [etc.] : Springer, 1997Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-45/2-084. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Matemática discreta / Félix García Merayo por García Merayo, Félix. Edición: 3ª ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid: Paraninfo, 2015Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (3)Ubicación, signatura topográfica: 519.6/GAR/mat, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 519.6/GAR/mat, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Mathematical logic / Stephen Cole Kleene. por Kleene, Stephen Cole. Series Dover books on mathematicsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Mineloa, New York : Dover, 2002Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/KLE/mat. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Computing with logic : logic programming with prolog / David Maier, David S. Warren por Maier, David \| Warren, David S. Tipo de material: Texto; Formato: impreso Detalles de publicación: Menlo Park, California[etc.] : The Benjamin/Cummings, 1988Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06PRO/MAI/com. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Digital systems : principles and applications / Ronald J. Tocci, Neal S. Widmer, Gregory L. Moss por Tocci, Ronald J \| Moss, Gregory L [] \| Widmer, Neal S []. Edición: 10th ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Upper Saddle River : Prentice Hall, 2007Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (4)Ubicación, signatura topográfica: 621.38/TOC/dig, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 621.38/TOC/dig, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Fuzzy sets, fuzzy logic, and fuzzy systems : selected papers / by Lotfi A. Zadeh ; editors, George J. Klir & Bo Yuan. por Zadeh, Lotfi A, 1921- \| Klir, George J, 1932- \| Yuan, Bo. Series Advances in fuzzy systems ; 6Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Singapore ; River Edge, N.J. : World Scientific, c1996Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin. por Lassez, Jean-Louis [] \| Plotkin, G. (Gordon), 1946- [] \| Robinson, J. A. (John Alan) []. Tipo de material: Texto festschrift ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Mass. [etc.] MIT Press, 1991Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/COM. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Aristotle's theory of the syllogism : a logico-philological study of book A of the prior analytics / Günther Patzig ; translated from the German by Jonathan Barnes. por Patzig, Günther. Series Synthese libraryTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : D. Reidel, 1968Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 10.657/D";"72/PAT. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Warren's abstract machine : a tutorial reconstruction / Hassan Ait-Kaci por Ait-Kaci, Hassan. Series Logic programmingTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: London : The MIT Press, 1991Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3.06PRO/AIT/war, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Hyperproof / John Barwise & John Etchemendy. por Barwise, John \| Etchemendy, John. Tipo de material: Texto; Formato: impreso Detalles de publicación: Stanford, California : Center for the Study of Language and Information, 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06HYP/BAR/hyp. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Logic-based artifical intelligence / edited by Jack Minker por Minker, Jack [editor literario]. Series The Kluwer international series in engineering and computer scienceTipo de material: Texto Detalles de publicación: Boston [etc.] : Kluwer Academic Publishers, 2000Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-7073. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Anaphora and type logical grammar / by Gerhard J{u0084}ger por Jager, Gerhard. Series Trends in logic. Studia logical library ; ; 24Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : Springer, 2005Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 801.5/JAG/ana. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen por Meulen, Alice Ter \| Benthem, Hohan Van. Tipo de material: Texto; Formato: impreso Detalles de publicación: Amsterdam[etc] : Elsevier[etc], 1997Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (4)Ubicación, signatura topográfica: 800.1/HAN, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Journal of philosophical logic por Association for Symbolic Logic (New York) [ed.]. Tipo de material: Recurso continuo; Formato: impreso ; Tipo de descriptor de recurso continuo: periódico Detalles de publicación: Dordrecht : Ed. D. Reidel. Disponibilidad: Ítems disponibles para referencia: 13. HEMEROTECA UCA: Not for loan (1)Ubicación, signatura topográfica: CajaHUM-0728. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. por Gallier, Jean H. Tipo de material: Texto; Formato: impreso Detalles de publicación: New York : J. Wiley, cop. 1987Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/GAL/log. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		The deductive foundations of computer programming / Zohar Manna, Richard Waldinger por Manna, Zohar \| Waldinger, Richard. Series Artificial intelligence. Software engineeringTipo de material: Texto; Formato: impreso Detalles de publicación: Reading, Massachusetts [etc.] : Addison-Wesley, cop. 1993Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/MAN/ded. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Notes on logic and set theory / P. T. Johnstone por Johnstone, P. T. Series Cambridge mathematical textbooksTipo de material: Texto; Formato: impreso Detalles de publicación: New York : Springer, cop. 1993Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/JOH/not, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Modern logic in the service of law / Ilmar Tammelo por Tammelo, Ilmar, b.1917. Tipo de material: Texto; Formato: impreso Detalles de publicación: Wien ; New York : Springer-Verlag, 1978Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-1349. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Epistemology, logic and grammer in the analysis of sentence-meaning / V. P. Bhatta por Bhatta, V. P. Tipo de material: Texto; Formato: impreso Detalles de publicación: Delhi : Esatern Book Linkers, 1991-Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/3-085. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		From Frege to Gödel : a source book in Mathematical Logic, 1879-1931 / Jean van Heijenoort. por Heijenoort, Jean van. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Lincoln : iUniverse.com, 1999Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.6/HEI/fro. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Ajustar la búsqueda

Disponibilidad

Autores

Tipos de ítem

Series

Temas

Colecciones

Bibliotecas depositarias

Bibliotecas de origen

Idiomas

Su búsqueda obtuvo 108 resultados.