Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 13 de septiembre de 2006 |
| ISBN13 | 9783540397281 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 269 |
| Dimensiones | 156 × 234 × 15 mm · 426 g |
| Lengua | Alemán |
| Editor | Calmet, Jaques |
| Editor | Ida, Tetsuo |
| Editor | Wang, Dongming |
Mas por Jaques Calmet
Mostrar todoMere med samme udgiver
Ver todo de Jaques Calmet ( Ej. Paperback Book )