Ajustar la búsqueda

Su búsqueda obtuvo 37 resultados.

Ordenar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Essential logic for computer science / Rex Page and Ruben Gamboa

por Page, Rex | Gamboa, Ruben [coautor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Massachussetts : The MIT Press, 2018Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3:510.6/PAG/ess.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
The Language of first-order logic : including the IBM-compatible windows version of Tarsk'is World 4.0 / Jon Barwise & John Etchemendy.

por Barwise, Jon | Etchemendy, John.

Series CSLI lecture notes ; 34.Edición: 3rd ed., rev. and expanded.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Stanford : Center for the Study of Language and Information, cop. 1992Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/BAR/lan.

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
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
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
Introduction to fuzzy logic using MATLAB / S.N. Sivanandam, S. Sumathi and S.N. Deepa

por Sivanandam, S. N | Sumathi, S | Deepa, S. N.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer, 2007Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06MAT/SIV/int.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Introduction to fuzzy logic using MATLAB / S.N. Sivanandam, S. Sumathi and S.N. Deepa.

por Sivanandam, S.N | Sumathi, S | Deepa, S.N.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer, cop. 2010Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (2).

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

por Schöning, Uwe.

Series Progress in computer science and applied logic ; 8Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlín : Birkhäuser, 1989Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/SCH/log, ...

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
Theory of recursive functions and effective computability / Hartley Rogers

por Rogers, Hartley.

Edición: 3rd ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : The MIT Press, 1987Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/ROG/the.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler... [et al.]

por Barwise, Jon [editor literario].

Series Studies in logic and the foundations of mathematics ; 90Edición: reimp. 2006Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Amsterdam : Elsevier, 1977Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

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

por Ben-Ari, Mordechai.

Edición: 2nd ed., 4th printingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: London : Springer, 2001 2004 reimpDisponibilidad: 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
Nonlinear biomedical signal processing / edited by Metin Akay

por Akay, Metin [editor literario] | IEEE Engineering in Medicine and Biology Society.

Series IEEE press series on biomedical engineeringTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Institute of electrical and electronics engineers, 2000Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/NON.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
HANDBOOK of logic in computer science / ed. by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum

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

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Fuzzy logic with engineering applications / Timothy Ross

por Ross, Timothy.

Edición: 3rd ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Hoboken, New Jersey: Wiley, 2010Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/ROS/fuz.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
First-order logic / Raymond M. Smullyan

por Smullyan, R.M.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Dover Publications, 1995Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/SMU/fir. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (2).

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas

por Ebbinghaus, Heinz-Dieter | Flum, H.-D | Thomas, W.

Series Undergraduate Texts in MathematicsEdición: 2nd. ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Springer, 1994Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/EBB/mat. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/EBB/mat.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Logic, Language, Meaning / L. T. F. Gamut

por Gamut, L. T. F.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Chicago [etc.] : The University of Chicago Press, 1991Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 800.1/GAM/log, ... 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 800.1/GAM/log. No disponible:06. BIBLIOTECA HUMANIDADES: Prestado (1).

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

Con tecnología Koha