The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Book Details
Format
Paperback / Softback
Book Series
Cambridge Tracts in Theoretical Computer Science
ISBN-10
0521022541
ISBN-13
9780521022545
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 10th, 2005
Print length
280 Pages
Weight
453 grams
Dimensions
24.50 x 17.00 x 1.50 cms
Product Classification:
Mathematical theory of computation
Ksh 8,150.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
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.
Get The Logic of Typed Feature Structures by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.