Su búsqueda obtuvo 9 resultados.

Ordenar
Resultados
Introducción a las comparaciones de confianza / Juan Carlos Ga.-Bermejo Ochoa.

por García-Bermejo Ochoa, Juan Carlos.

Series Estudios / Universidad Autónoma de Madrid ; 41.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Universidad Autónoma de Madrid, D.L. 1994Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-25/5-275.

Introducción a la lógica formal / Alfredo Deaño.

por Deaño, Alfredo.

Series Manuales/Filosofía y Pensamiento ; 035. | El libro universitarioEdición: [1ª ed., 1ª reimp. en "Manuales"]Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Alianza Editorial, 2001Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-45/5-258.

Programas para deducción automatizada en lógica proposicional / Antonio Frias Delgado

por Frías Delgado, Antonio.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cádiz : Universidad de Cádiz, 1992Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-164/FRI/pro. No disponible:11. BCA.HISTÓRICA - CÁDIZ: Patrimonio bibliográfico (2).

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.

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.

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, 1994Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-27/5-222.

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-224.

Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

por Babbay, Dov M | Hogger, Christopher John | Robinson, J.A.

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

Propositional attitudes : the role of content in logic, language, and mind / edited by C. Anthony Anderson and Joseph Owens

por Anderson, C. Anthony | Owens, Joseph, 1943-.

Series CSLI lecture notes ; no.20Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Stanford,Ca : Centre for the Study of Languages and Information, 1990Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 800.1/PRO.

Páginas

Con tecnología Koha