Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (2)
- Alonso i Alemany, La... (5)
- Areces, Carlos Eduar... (3)
- Benotti, Luciana (4)
- Brachman, Ronald J. (2)
- Campbell, John A. (2)
- Cardellino, Cristian... (2)
- Domínguez, Martín Ar... (3)
- Furuhashi, Takeshi (2)
- Gabbay, Dov M. (3)
- Gómez, Marcos Javier (2)
- Hofstadter, Douglas ... (2)
- Levesque, Hector J. (2)
- Mazuecos Perez, Maur... (2)
- Norvig, Peter (2)
- Ohlbach, Hans Jürgen (2)
- Perram, John W. (2)
- Russell, Stuart Jona... (2)
- Tamarit, Francisco A... (5)
- Velde, Walter Van de (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (123)
- Libro Electrónico (2)
- Tesis de Doctorado (5)
- Trabajo Especial de Grado (27)
-
Ubicaciones
- Colección de CD/DVD (1)
- Depósito Interno (6)
- EBSCOHost (2)
- Secc. Tesis y Trabajos especiales (27)
- Sección Computación (30)
- Sección Lecture Notes (90)
- Sección Matemática (2)
- Vitrina (5)
- Mostrar más
- Mostrar menos
-
Series
- Adaptive computation... (1)
- Algorithms for Intel... (1)
- Cambridge tracts in ... (2)
- Chapman & Hall/CRC m... (1)
- Dover books explaini... (1)
- Information science ... (1)
- Lecture notes in art... (49)
- Lecture notes in com... (89)
- Lecture notes in sta... (1)
- LNCS (33)
- LNS (1)
- McGraw-Hill series i... (1)
- Series in computer s... (1)
- Special issues of Ar... (1)
- Springer series in e... (1)
- The Kluwer internati... (1)
- Mostrar más
- Mostrar menos
-
Temas
- Artificial intellige... (123)
- 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... (109)
- Inteligencia artific... (15)
- Lenguajes formales (7)
- Lógica matemática-Co... (13)
- Mathematical logic-C... (14)
- Natural language pro... (16)
- Programming language... (8)
- Sistemas distribuido... (9)
- Software engineering (9)
- Mostrar más
- Mostrar menos