Ajustar la búsqueda

Su búsqueda obtuvo 539 resultados.

Ordenar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
From logic to logic programming : Kees Doets

por Doets, Kees.

Series Foundations of computingTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge [etc.] : MIT Press, 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 681.3.06/DOE/fro, ...

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Advances in fuzzy logic : selected papers (with comments) of some spanish authors / editors, Senén Barro, Alberto Bugarín, Alejandro Sobrino

por Barro, Senén [editor literario] | Sobrino, Alejandro [editor literario] | Bugarín, Alberto [editor literario].

Series Avances en ; 5Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Santiago de Compostela : Universidade de Santiago de Compostela, 1998Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-519.6/.8/ADV.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Introducción a la lógica formal / Alfredo Deaño

por Deaño, Alfredo.

Series El libro universitario. Manuales ; ; 035Edición: 1ª ed. en "Manuales"Tipo de material: Texto Texto Detalles de publicación: Madrid : Alianza, 1999Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-Zona de Descanso - 164/DEA/int. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 164/DEA/int, ...

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Mathematical logic for computer science / M. Ben-Ari.

por Ben-Ari, M, 1948-.

Series Prentice-Hall International Series in Computer ScienceTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York [etc.] : Prentice-Hall, 1993Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/BEN/mat.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Logic for computer scientist / Uwe Schöning

por Schoning, Uwe.

Series Progress in computer science and applied logic ; 8Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Boston : Birkhauser, 1989 (2001 print.)Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
La logique du temps

por Gardies, Jean-Louis.

Tipo de material: Texto Texto; Formato: impreso Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-34/1-034.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
HANDBOOK of logic in artificial intelligence and logic programming / ed. by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Oxford : Clarendon, 1993Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/HAN.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Axiomáticas de lógica polivalente y conjuntos polivalentes / Antonio González Carlomán

por González Carlomán, Antonio | Universidad de Oviedo [ed.].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Oviedo : Universidad de Oviedo, 2009Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GON/axi.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Introducción a una teoría de la lógica / P.F. Strawson ; traducción de J. Ameller V.

por Strawson, P. F.

Series Vida del espírituTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Buenos Aires : Nova, 1963Disponibilidad: Ítems disponibles para préstamo: 11. BCA.HISTÓRICA - CÁDIZ (1)Ubicación, signatura topográfica: 629/V. Reina.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Oxford : Clarendon, 1993 (imp.1996)Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-27/5-225.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Conocimiento y acción : estudios de lógica y filosofía de la ciencia III / compilado por Jorge Pérez Ballestar

por Pérez Ballestar, Jorge [].

Series Acta Salmanticensia. Manuales universitariosTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Salamanca : Universidad, 1990Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-25/6-285.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
The Book of Why : The New Science of cause and effect / Judea Pearl and Dana Mackenzie.

por Pearl, Judea | Mackenzie, Dana [coautor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: London : Penguin Books, 2019Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 122/PEA/boo.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Sócrates : en 90 minutos / Paul Strathern ; traducción de José A. Padilla Villate

por Strathern, Paul | Padilla Villate, José A.

Tipo de material: Texto Texto; Formato: impreso ; Naturaleza de los contenidos: biografía; Forma literaria: Ensayos ; Audiencia: General; Detalles de publicación: Madrid : Siglo XXI, 2014Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 1Sócrates/STR/soc.
  (1 votos)
Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Lógica, Epistemología y Teoría de la Ciencia

por España. Subdirección General de Perfeccionamiento del Profesorado.

Series Estudios de Educación ; 9Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: [Madrid] : Ministerio de Educación y Ciencia, Subdirección General de Perfeccionamiento del Profesorado, 1981Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 1/ 16.635.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Introducción a la lógica y al método científico / Morris R. Cohen, Ernest Nagel

por Cohen, Morris Raphael, 1880-1947 | Nagel, Ernest.

Edición: 3ª ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Amorrortu, 1973Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-2530.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Sentido y referencia en la lógica de Gottlob Frege / Christian Thiel

por Thiel, Christian.

Series Estructura y función ; 36Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, D.L. 1972Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/1-255.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Derecho, lógica, matemática / Herbert Fiedler ; [traducción de Eugenio Bulygin y Ernersto Garzón Valdés.

por Fiedler, Herbert | Bulygin, Eugenio [traductor] | Garzón Valdés, Ernesto [traductor].

Series Biblioteca de ética, filosofía del derecho y política ; 6.Edición: 5ª ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México, D. F. : Distribuciones Fontamara, 2011Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-5720.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
La lógica sin metafísica / Ernest Nagel

por Nagel, Ernest.

Series Estructura y Función. El porvenir actual de la ciencia ; ; 5Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, D.L. 1962Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-44/5-191.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Las teorias de la inducción y de la experimentación / André Lalande.

por Lalande, André.

Series Biblioteca filosofica (Losada)Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Losada, 1944Disponibilidad: No disponible:11. BCA.HISTÓRICA - CÁDIZ: Patrimonio bibliográfico (1).

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Actas de I Simposio hispano-mexicano de filosofía : Salamanca, octubre 1984 / compiladores S. Álvarez, F. Broncano, M.A. Quintanilla

por Simposio Hispano-Mexicano de Filosofia (1. 1984. Salamanca) | Broncano, F | Quintanilla, Miguel Ángel | Álvarez, S.

Series Acta Salmanticensia, Filosofía y Letras ; 176Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Salamanca : Universidad: Diputación Provincial, D.L. 1986Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (2)Ubicación, signatura topográfica: Sótano-43/4-063, ...

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Páginas

Con tecnología Koha