The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution Revised Edition Contributor(s): Carpenter, Bob (Author), Van Rijsbergen, C. J. (Editor), Abramsky, Samson (Editor) |
|
![]() |
ISBN: 0521022541 ISBN-13: 9780521022545 Publisher: Cambridge University Press OUR PRICE: $53.19 Product Type: Paperback - Other Formats Published: November 2005 Annotation: 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. |
Additional Information |
BISAC Categories: - Computers | Logic Design - Computers | Programming - General - Computers | Data Modeling & Design |
Dewey: 005.73 |
Series: Cambridge Tracts in Theoretical Computer Science (Paperback) |
Physical Information: 0.61" H x 6.73" W x 9.65" (1.01 lbs) 280 pages |