Resultados
|
|
Logic for programming artificial intelligence and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baade, Andrei Virinkov, eds. por LPAR (Conferencia) (11 : 2005 : Montevideo, Uruguay) | Baader, Franz [editor] | Voronkov, A. (Andrei), 1959- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 3452.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: LPAR 2003.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 I57 2004.
|
|
|
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 1997 : proceedings / Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, (eds.) por LPNMR '97 (4 : 1997 : Dagstuhl, Wadern, Alemania) | Dix, Jurgen, 1961- [editor] | Fuhrbach, Ulrich [editor] | Nerode, Anil, 1932- [editor]. Series Lecture notes in computer science ; 1265. | Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: New York : Springer Verlag, 1997Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.63 L655 1997, ...
|
|
|
|
|
|
|
|
|
Machine learning and data mining in pattern recognition 4th international conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005 : proceedings / Petra Perner, Atsushi Imiya, eds. por MLDM 2005 (2005 : Leipzig, Alemania) | Perner, Petra [editor] | Imiya, Atsushi [editor] | Industrial Conference on Data Mining (5 : 2005 : Leipzig, Alemania). Series Lecture notes in computer science ; 3587 | Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: MLDM 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q327 M56 2005.
|
|
|
Mathematical knowledge management : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / Jonathan M. Borwein, William M. Farmer, eds. por International Conference on Mathematical Knowledge Management (5 : 2006 : Wokingham, Inglaterra) | Borwein, Jonathan M [editor] | Farmer, William Michael [editor]. Series Lecture notes in computer science ; 4108 | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: MKM 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.95 I55 2006.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings / Lluís Godo, ed. por ECSQARU 2005 (2005 : Barcelona, España) | Godo, L., (Lluís) [editor]. Series Lecture notes in computer science ; 3571 | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 E37 2005.
|