Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (2)
- Anscombe, Gertrude E... (2)
- Areces, Carlos Eduar... (3)
- Bourbaki, Nicolás (4)
- Copi, Irving M. (4)
- Fridlender, Daniel E... (4)
- Gabbay, Dov M. (3)
- Heering, Jan (2)
- Hermes, Hans (2)
- Hofstadter, Douglas ... (2)
- Maibaum, Thomas S. E... (2)
- Nagel, Ernest (2)
- Nerode, Anil (4)
- Newman, James Roy (2)
- Ohlbach, Hans Jürgen (2)
- Pagano, Miguel María (4)
- Paulson, Lawrence C. (2)
- Robinson, Abraham (2)
- Sánchez Terraf, Pedr... (3)
- Vaggione, Diego José (5)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (2)
- Libro (262)
- Revista (1)
- Tesis de Doctorado (5)
- Trabajo Especial de Grado (11)
-
Ubicaciones
- Colección AMS (9)
- Colección Andrés Raggio (7)
- Colección de CD/DVD (1)
- Depósito de Libros (2)
- Depósito Interno (5)
- Hemeroteca Matemática (1)
- Secc. Tesis y Trabajos especiales (12)
- Sección Computación (80)
- Sección Lecture Notes (93)
- Sección Matemática (76)
- Vitrina (5)
- Mostrar más
- Mostrar menos
-
Series
- Actualités scientifi... (3)
- Cambridge studies in... (2)
- Cambridge tracts in ... (14)
- Documents de travail (2)
- EATCS monographs on ... (4)
- EATCS series (4)
- Lecture notes in art... (18)
- Lecture notes in com... (74)
- Lecture notes in mat... (11)
- LNCS (52)
- LNM (10)
- Manuales de EUDEBA. ... (3)
- MEMO (4)
- Oxford logic guides (2)
- Studies in logic and... (13)
- Texts in theoretical... (3)
- Mostrar más
- Mostrar menos
-
Temas
- Analysis of algorith... (11)
- Artificial intellige... (16)
- Deducción y prueba d... (33)
- Deduction and theore... (34)
- Formal languages (80)
- Inteligencia artific... (14)
- Lenguajes de program... (16)
- Lenguajes formales (76)
- Logic programming (13)
- Logics and meanings ... (35)
- Lógica matemática (177)
- Lógica matemática-Co... (42)
- Lógica y significado... (33)
- Mathematical logic (201)
- Mathematical logic-C... (44)
- Programming language... (19)
- Programming techniqu... (11)
- Software engineering (16)
- Mostrar más
- Mostrar menos