Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang, eds. por AISC 2006 (2006 : Pekín, China) | Calmet, Jacques [editor] | Ida, Tetsuo [editor] | Wang, Dongming, 1961- [editor]. Series Lecture notes in computer science ; 4120 | 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: AISC 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 A778 2006.
|
|
|
Automata theory and logic / edited by Gerard Prudhomme por Prudhomme, Gerard [editor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Oakville, ON : Arcler Press, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ211 A836.
|
|
|
|
|
|
|
|
|
Coding, cryptography, and combinatorics / Keqin Feng, Harald Niederreiter, Chaoping Xing, editors por Workshop on Coding, Cryptography, and Combinatorics (2003 : Huangshan Shi, China) | Feng, Keqin [editor] | Niederreiter, Harald, 1944- [editor] | Xing, Chaoping, 1963- [editor]. Series Progress in computer science and applied logic ; v. 23Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Basel : Birkhäuser Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA242.5 W67.
|
|
|
|
|
|
Commonsense reasoning : an event calculus based approach / Erik T. Mueller por Mueller, Erik T [autor]. Edición: Second editionTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Waltham, Massachusetts : Morgan Kaufmann, [2015]Fecha de copyright: ©2015Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q338.85 M84 2015.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|