You might also like

More about Artificial Intelligence and Symbolic Computation

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

• Full title: Artificial Intelligence and Symbolic Computation
• Subtitle: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
• Author: Jaques Calmet, Tetsuo Ida, Dongming Wang
• Language: English
• Binding: Paperback
• Number of pages: 269
• EAN: 9783540397281
• ISBN: 3540397280
• ID: 01562600
• Publisher: Springer, Berlin
• Weight: 408 g
• Dimensions: 235 × 155 × 15 mm
• Published: 2006

Trending among others

---

---

---