Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
AI*IA 99 : advances in artificial intelligence : 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September, 1999 : selected papers / Evevelina Lamma, Paola Mell eds. por Associazione italiana per l'intelligenza artificiale. Congress (6 : 1999 : Bolonia, Italia) | Lamma, Evelina, 1960- [editor] | Mello, Paola 1958- [ed.]. Series Lecture notes in artificial intelligence. Subseries of lectures notes in computer science ; 1792.Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Otro título: AIIA 99 : advances in artificial intelligence | Advances in artificial intelligence.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 A779 1999.
|
|
|
|
|
|
|
|
|
|
|
|
FM'99-: formal methods : world congress on formal methods in the development of computing systems Toulouse, France, september 1999, proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davis, (eds.) por World Congress on Formal Methods in the Development of Computing Systems (1999 : Tolulous, Francia) | Wing, Jeannette M [editor] | Woodcock, Jim [editor] | Davis, Jim [editor]. Series Lectures notes in computer science ; 1708-1709Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 C645 1999.
|
|
|
|
Frontiers of combining systems : third International Workshop, FroCoS 2000, Nancy, France, March 2000 : proceedings / Helene Kirchner, Christophe Ringeissen, eds. por International Workshop FroCoS 2000 (3 : 2000 : Nancy, Francia) | Kirchner, Helene [editor] | Ringeissen, Christophe, 1967- [editor]. Series Lectures notes in computer science. Lecture notes in artificial intelligence ; v. 1794.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.A1 I576 2000.
|
|
|
|
|
|
|
|
Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 1999 : proceedings / MIchael Gelfond, Nicola Leone, Gerald Pfeifer (eds.) por LPNMR '99 (5 : 1999 : El Paso, Texas) | Gelfond, Michael [editor] | Leone, Nicola [editor] | Pfiefer, Gerald [editor]. Series Lecture notes in artificial intelligence. Subseries of lectures notes in computer science ; 1730.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin, Germany : Springer Verlag, 1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 L655 1999.
|
|
|
|
Machine learning : ECML-2000 : 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May/June 2000 : proceedings / Ramon Lopez de Mantaras, Enric Plaza, eds. por European Conference on Machine Learning (11 : 1998 : Cataluña, España) | Lopez de Mantaras, Ramon, 1952- [editor] | Plaza, Enric [editor]. Series Lecture notes in artificial intelligence. Subseries of lectures notes in computer science ; 1810.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q325.5 E868 2000.
|
|
|
|
Stacs 90 : 7th annual symposium on theoretical aspects of computer science, rouen, france, february 22-24, 1990, proceedings / C. choffrut, t. lengauer, ed. por Synposium On Theoretical Aspects Of Computer Science (7 : 1990 : Rouen, Francia) | Lengauer, Thomas [editor] | Choffrut, Christian [editor] | European Association for Theoretical Computer Science. Series Lectures notes in computer science ; 415Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 S958 1990.
|
