The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)

Carpenter, Bob

ISBN 10: 0521419328 / ISBN 13: 9780521419321

Published by Cambridge University Press, 1992

About this Item

Type: Book N.B. Small plain label to inside front cover. Letter J stamped on title page. Light rubbing to edges and corners of boards and head and tail of spine.

Seller Inventory # 056351

Bibliographic Details

• Title: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
• Publisher: Cambridge University Press
• Publication Date: 1992
• Language: English
• ISBN 10: 0521419328
• ISBN 13: 9780521419321
• Binding: Cloth/Laminated Boards
• Condition: Very Good
• Dust Jacket Condition: No d/j as Published
• Weight: 26 ounces
• Seller catalogs:
  • MATHEMATICS

About this title

Synopsis

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.