1130180
9780521419321
Out of Stock
The item you're looking for is currently unavailable.
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.Carpenter, Robert L. is the author of 'Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs and Constraint Resolution' with ISBN 9780521419321 and ISBN 0521419328.
[read more]