{"product_id":"logic-of-typed-feature-structures-cambridge-university-press-9780521022545-with-applications-to-unification-grammars-logic-programs-and-constraint-resolution-robert-l-carpenter","title":"Logic of Typed Feature Structures","description":"\u003cp\u003eDiscover the groundbreaking insights in \u003cstrong\u003eLogic of Typed Feature Structures\u003c\/strong\u003e by \u003cstrong\u003eRobert L. Carpenter\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2005. This comprehensive 280-page volume delves into the theory of typed feature structures, an innovative data structure that extends the capabilities of both first-order terms and feature structures found in unification-based grammars. Carpenter's work introduces essential concepts such as inheritance, typing, inequality, cycles, and intensionality, providing a robust logical foundation for grammars, logic programming, and constraint-based reasoning systems. Ideal for computer science enthusiasts and professionals alike, this book is a must-have for those interested in data modeling, programming, and logic design. Enhance your understanding of complex data structures and their applications in modern computing with this essential resource.\u003c\/p\u003e","brand":"Robert L. Carpenter","offers":[{"title":"Default Title","offer_id":52236722667862,"sku":"9780521022545","price":54.56,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521022545.jpg?v=1767757635","url":"https:\/\/www.englishbook.pt\/products\/logic-of-typed-feature-structures-cambridge-university-press-9780521022545-with-applications-to-unification-grammars-logic-programs-and-constraint-resolution-robert-l-carpenter","provider":"Bookshop","version":"1.0","type":"link"}