{"product_id":"artificial-intelligence-and-symbolic-computation-8th-international-conference-aisc-2006-beijing-china-september-20-22-2006-proceedings-von-jaques-calmet-tetsuo-ida-dongming-wang-hrsg","title":"Artificial Intelligence and Symbolic Computation","description":"\u003cp\u003eHere are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThe 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540397281\"\u003e\u003ch3\u003e8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540397281","offer_id":39428011950173,"sku":"9783540397281","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/73461_c3e33274-6444-4d4f-b5f0-5f3fc0b641ff.jpg?v=1784175775","url":"https:\/\/shop.autorenwelt.de\/products\/artificial-intelligence-and-symbolic-computation-8th-international-conference-aisc-2006-beijing-china-september-20-22-2006-proceedings-von-jaques-calmet-tetsuo-ida-dongming-wang-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}