{"product_id":"computational-aspects-of-an-order-sorted-logic-with-term-declarations-9783540517054","title":"Computational Aspects of an Order-Sorted Logic with Term Declarations","description":"\u003cp\u003e • Author(s): Manfred Schmidt-Schauß\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Artificial Intelligence - General\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47615193940119,"sku":"9783540517054","price":4079.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540517054.webp?v=1775098692","url":"https:\/\/atlanticbooks.com\/products\/computational-aspects-of-an-order-sorted-logic-with-term-declarations-9783540517054","provider":"Atlantic Books","version":"1.0","type":"link"}