{"product_id":"artificial-intelligence-and-symbolic-computation-international-conference-aisc98-plattsburgh-new-york-usa-september-16-18-1998-proceedings-paperback","title":"Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eJacques Calmet\u003c\/b\u003e (Editor), \u003cb\u003eJan Plaza\u003c\/b\u003e (Editor)\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.\u003cbr\u003eThe 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 316\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.69 x 9.21 x 6.14 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e January 01, 2001\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":53340626321773,"sku":"9783540649601","price":96.08,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1001\/0823\/9213\/files\/aFv70soyCl9783540649601.webp?v=1779037816","url":"https:\/\/cleanfreaklab.myshopify.com\/products\/artificial-intelligence-and-symbolic-computation-international-conference-aisc98-plattsburgh-new-york-usa-september-16-18-1998-proceedings-paperback","provider":"Clean Freak Lab","version":"1.0","type":"link"}