Ajustar la búsqueda

Su búsqueda obtuvo 194 resultados.

Ordenar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Estudios de lógica borrosa y sus aplicaciones / edición a cargo de Alejandro Sobrino e Senén Barro

por Sobrino, Alejandro [editor literario] | Barro, Senén [editor literario] | Universidad de Santiago de Compostela. Servicio de Publicaciones e Intercambio Científico [ed.].

Series Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Santiago de Compostela : Universidade, 1993Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Donación.

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
Handbook of practical logic and automated reasoning / John Harrison

por Harrison, John.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, 2009Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 510.6/HAR/han, ... No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
The Haskell road to logic, maths and programming / Kees Doets, Jan van Eijck

por Doets, Kees | Eijck, Jan van.

Series Texts in computing ; 4Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: London : King's College London, 2004Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/DOE/has.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Controladores en lógica borrosa / Domingo Javier Holgado Corrales

por Holgado Corrales, Domingo Javier | Universidad de Cádiz. Servicio de Publicaciones.

Series Tecnología e investigaciónTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cádiz : Universidad de Cádiz, 1995Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/HOL/con, ... 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/HOL/con. 11. BCA.HISTÓRICA - CÁDIZ (1)Ubicación, signatura topográfica: 174/CM. No disponible:00. BIBLIOTECA CAMPUS DE ALGECIRAS: Prestado (1). 11. BCA.HISTÓRICA - CÁDIZ: Patrimonio bibliográfico (2).

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Introducción al método matemático / F.Javier Pérez Fernández

por Pérez Fernández, Francisco Javier.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cádiz : Universidad de Cádiz, 1998Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (3)Ubicación, signatura topográfica: 510.6/PER/int, ... 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-1003. 02. BIBLIOTECA CAMPUS PUERTO REAL (10)Ubicación, signatura topográfica: 510.6/PER/int, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (7)Ubicación, signatura topográfica: 519.6/.8/PER/int, ... 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/PER/int. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/258. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). 03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). 11. BCA.HISTÓRICA - CÁDIZ: Patrimonio bibliográfico (2).
  (1 votos)
Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Fuzzy logic technology and applications / Robert J. Marks II, editor, preface by Lofti Zadeh

por Marks, Robert J | Institute of Electrical and Electronics Engineers. Products Council.

Series IEEE technology update seriesTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Institute of Electrical and Electronics Engineers, c1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.5/FUZ.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Introduction to logic programming / Christopher John Hogger

por Hogger, Christopher John.

Series A.P.I.C. Studies in Data Processing ; 21Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: London : Academic Press, 1984Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 519.68/HOG/int. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 519.8/HOG/int.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Epistemología matemática y psicología : relaciones entre la lógica formal y el pensamiento real / Evert W. Beth y Jean Piaget

por Beth, Evert Willem | Piaget, Jean, 1896-1980 | Sánchez de Zavala, Víctor.

Series Estudios y ensayos ; 62Edición: 2a edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Crítica, 1980Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: Depósito - 159.9/BET/epi, ...

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Commonsense reasoning : an event calculus based approach / Erik T. Mueller

por Mueller, Erik T, (19..-....) [autor].

Edición: 2nd edition. Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Waltham, MA : M. Kaufman, Elsevier, cop. 2015Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-7075.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Lógica informática / José Cuena

por Cuena, José.

Series Alianza InformáticaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alianza, 1985Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/CUE/log. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-39/4-018.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Gödel, Escher, Bach : un eterno y grácil bucle / Douglas R. Hofstadter.

por Hofstadter, Douglas R.

Series Fábula ; 269.Edición: 1ª ̇ed. en Fábula.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Tusquets, 2007Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HOF/god. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
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 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
Fundamentos de la meta-técnica / por Ernesto Mayz Vallenilla

por Mayz Vallenilla, Ernesto.

Series Hombre y sociedad (Gedisa). Cla-De-MaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Gedisa, 1993Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 5/ 38.773.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
La silogística de Aristóteles desde el punto de vista de la lógica formal moderna / Jan Lukasiewicz

por Lukasiewicz, Jan.

Series Estructura y función. El porvenir actual de la ciencia ; ; 47Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1977Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 1/EUK/sil. 06. BIBLIOTECA HUMANIDADES (3)Ubicación, signatura topográfica: Sótano-41/2-033, ...

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
Ontology and the logistic analysis of language : an enquiry into the contemporary views on universals / Guido Kung ; [translated by E.C.M. Mays, and revised by the author].

por Küng, Guido.

Series Synthese libraryEdición: Rev. ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : D. Reidel, 1967Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 10.655/D";"7202/07/KUN.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Técnicas de gestión de empresa : previsiones, decisiones y estrategias / Arnold Kaufmann, Jaime Gil Aluja

por Kaufmann, Arnold | Gil Aluja, Jaime.

Series Economía y administración de empresasTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Pirámide, 1992Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Em-2351. 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (2)Ubicación, signatura topográfica: 51/KAU/tec, ...

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Filosofía y computación / Angel Garrido.

por Garrido, Angel.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Dykinson, 2017Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6756.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Logic for problem solving / Robert Kowalski.

por Kowalski, Robert.

Series Artificial intelligence series ; 7.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.]: North-Holland, cop. 1979Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/KOW/log.

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

Con tecnología Koha