Springer
Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006, Beijing, China, September 20-22, 2006, Proceedings
Product Code:
9783540397281
ISBN13:
9783540397281
Condition:
New
$61.47
Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006, Beijing, China, September 20-22, 2006, Proceedings
$61.47
Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.
The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.
| Author: Jaques Calmet |
| Publisher: Springer |
| Publication Date: Sep 13, 2006 |
| Number of Pages: 269 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540397280 |
| ISBN-13: 9783540397281 |
Related Products
