Conte aos seus amigos sobre este item:
Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006 Beijing, China, September 20-22, 2006 Proceedings - Lecture Notes in Computer Science Jaques Calmet
Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006 Beijing, China, September 20-22, 2006 Proceedings - Lecture Notes in Computer Science
Jaques Calmet
Includes refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. This book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, and constraint satisfaction/solving.
269 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 13 de setembro de 2006 |
| ISBN13 | 9783540397281 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 269 |
| Dimensões | 156 × 234 × 15 mm · 426 g |
| Idioma | Alemão |
| Editor | Calmet, Jaques |
| Editor | Ida, Tetsuo |
| Editor | Wang, Dongming |
Presentes de Natal podem ser trocados até 31 de janeiro