Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (2)
- Alonso i Alemany, La... (3)
- Benotti, Luciana (3)
- Blanco, Javier Oscar (2)
- Brachman, Ronald J. (2)
- Calmet, Jacques (2)
- Campbell, John A. (2)
- Ellis, Gerard (2)
- Furuhashi, Takeshi (2)
- Gabbay, Dov M. (3)
- Hofstadter, Douglas ... (2)
- Levesque, Hector J. (2)
- Norvig, Peter (2)
- Ohlbach, Hans Jürgen (2)
- Perram, John W. (2)
- Russell, Stuart Jona... (2)
- Tamarit, Francisco A... (4)
- Velde, Walter Van de (2)
- Weiss, Gerhard (2)
- Wooldridge, Michael ... (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (124)
- Libro Electrónico (2)
- Magister (1)
- Revista (2)
- Tesis de Doctorado (3)
- Trabajo Especial de Grado (16)
- Mostrar más
- Mostrar menos
-
Ubicaciones
- Colección AMS (1)
- Colección Andrés Raggio (1)
- Depósito Interno (4)
- EBSCOHost (2)
- Hemeroteca Física (1)
- Hemeroteca Matemática (1)
- Secc. Tesis y Trabajos especiales (16)
- Sección Computación (23)
- Sección Educación (4)
- Sección Física (1)
- Sección Lecture Notes (91)
- Sección Matemática (2)
- Vitrina (4)
- Mostrar más
- Mostrar menos
-
Series
- A Bradford book (1)
- Agenda educativa (1)
- Algorithms for Intel... (1)
- Cambridge tracts in ... (2)
- Chapman & Hall/CRC m... (1)
- Dover books explaini... (1)
- Lecture notes in art... (49)
- Lecture notes in com... (90)
- Lecture notes in sta... (1)
- LNCS (34)
- LNS (1)
- Prace IPI PAN . ICS ... (1)
- Proceedings of sympo... (1)
- Series in computer s... (1)
- Special issues of Ar... (1)
- The Kluwer internati... (1)
- Mostrar más
- Mostrar menos
-
Temas
- Artificial intellige... (107)
- Artificial intellige... (15)
- Computation by abstr... (7)
- Database management (9)
- Deducción y prueba d... (7)
- Deduction and theore... (7)
- Distributed systems (10)
- Ingeniería de softwa... (9)
- Inteligencia artific... (119)
- Inteligencia artific... (15)
- Lenguajes formales (7)
- Lógica matemática (8)
- Lógica matemática-Co... (13)
- Mathematical logic-C... (14)
- Natural language pro... (7)
- Nonnumerical algorit... (7)
- Sistemas distribuido... (9)
- Software engineering (9)
- Mostrar más
- Mostrar menos