Author: Robert L. Carpenter
Edition:
Binding: Hardcover
ISBN: 0521419328
Publisher: Cambridge University Press
Features:
Edition:
Binding: Hardcover
ISBN: 0521419328
Publisher: Cambridge University Press
Features:
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
This book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs and feature-structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. Search and download computer ebooks The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science) for free.
author robert l carpenter format paperback language english publication year 10 11 2005 series cambridge tracts in theoretical computer science subject computing it subject 2 computing general title the logic of typed feature structures with applications to unification grammars logic programs and constraint resolution author robert l carpenter publisher cambridge univ pr publication date nov 10 2005 pages 270 binding paperback dimensions 6 75 wx 9 25 hx 0 75 d isbn 0521022541 subject computers. Download The Logic of Typed Feature Structures computer ebooks
It presents a synthesis of many existing ideas into a uniform framework, which serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems. Throughout the text, a logical perspective is adopted that employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. Efficiency concerns are discussed and complexity and representability results are provided.
The Logic Of Typed Feature Structures: With Applications To Unification Grammars
payment | shipping rates | returns The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science) Product Category :Books ISBN :0521419328 Title :The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)EAN :9780521419321 Authors :Carpenter, Robert L.Binding :Hardcover Pu
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.
The Logic of Typed Feature Structures Free
