{"product_id":"computational-aspects-of-an-order-sorted-logic-with-term-declarations-von-manfred-schmidt-schauss","title":"Computational Aspects of an Order-Sorted Logic with Term Declarations","description":"\u003cp\u003eFoundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540517054\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540517054","offer_id":39436882968669,"sku":"9783540517054","price":37.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a8f35799-4e4d-466f-a3e9-efb671829f3f.jpg?v=1773554148","url":"https:\/\/shop.autorenwelt.de\/en\/products\/computational-aspects-of-an-order-sorted-logic-with-term-declarations-von-manfred-schmidt-schauss","provider":"Autorenwelt Shop","version":"1.0","type":"link"}