Logic for programming artificial intelligence and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baade, Andrei Virinkov, eds.
Tipo de material: TextoSeries Lecture notes in computer science. Lecture notes in artificial intelligence ; 3452.Editor: Berlin : Springer Verlag, c2005Descripción: xi, 562 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540252363Otro título: LPAR 2003Tema(s): Programación lógica -- Congresos | Demostración automática de teoremas -- CongresosClasificación LoC:QA76.63 | I57 2004Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | General | QA76.63 I57 2004 (Navegar estantería(Abre debajo)) | 1 | Disponible | 190207 |
Total de reservas: 0
compra 2013/06/06 1037.00
No hay comentarios en este titulo.