Resultados
|
|
Essential logic for computer science / Rex Page and Ruben Gamboa por Page, Rex | Gamboa, Ruben [coautor]. Tipo de material: 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Handbook of practical logic and automated reasoning / John Harrison por Harrison, John. Tipo de material: 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).
|
|
|
|
|
|
Theory of recursive functions and effective computability / Hartley Rogers por Rogers, Hartley. Edición: 3rd ed.Tipo de material: 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.
|
|
|
Mathematical logic for computer science / Mordechai Ben-Ari por Ben-Ari, Mordechai. Edición: 2nd ed., 4th printingTipo de material: 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).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fuzzy logic with engineering applications / Timothy Ross por Ross, Timothy. Edición: 3rd ed.Tipo de material: 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.
|
|
|
First-order logic / Raymond M. Smullyan por Smullyan, R.M. Tipo de material: 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).
|
|
|
Mathematical logic / by Joseph R. Shoenfield por Shoenfield, Joseph R. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Natick : A.K. Peters, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/SHO/mat. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). 03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).
|
|
|
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; 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.
|