Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automated theorem proving : theory and practice / Monty Newborn por Newborn, Monty. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: New York : Springer, 2000Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: Depósito-681.3/NEW/aut, ...
|
|
|
Metadata and Semantics Research [Recurso electrónico] : 6th Research Conference, MTSR 2012, Cádiz, Spain, November 28-30, 2012. Proceedings / edited by Juan Manuel Dodero, Manuel Palomo-Duarte, Pythagoras Karampiperis. por Dodero, Juan Manuel | Palomo-Duarte, Manuel | Karampiperis, Pythagoras. Series Communications in Computer and Information Science ; 343Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.324/DOD/met.
|
|
|
Vida artificial / Stephen Prata por Prata, Stephen. Series Ultima fronteraTipo de material: Texto; Formato:
impreso Detalles de publicación: Madrid : Anaya Multimedia, D.L. 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 681.3/PRA/vid, ...
|
|
|
|
|
|
|
|
|
Inteligencia artificial / Elaine Rich, Kevin Knight por Rich, Elaine | Knight, Kevin. Edición: 2ª ed.Tipo de material: Texto; Formato:
impreso Detalles de publicación: Madrid [etc.] : McGraw-Hill, 1996Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/RIC/int.
|
|
|
|