Tell your friends about this 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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 13, 2006 |
| ISBN13 | 9783540397281 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 269 |
| Dimensions | 156 × 234 × 15 mm · 426 g |
| Language | German |
| Editor | Calmet, Jaques |
| Editor | Ida, Tetsuo |
| Editor | Wang, Dongming |
Christmas presents can be returned until 31 January