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

Carpenter, Robert L.

ISBN 10: 0521419328 / ISBN 13: 9780521419321

Published by Cambridge University Press, 1992

About this Item

Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA82905214193284

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, Series Number 32)
• Publisher: Cambridge University Press
• Publication Date: 1992
• Language: English
• ISBN 10: 0521419328
• ISBN 13: 9780521419321
• Binding: Hardcover
• Condition: Very Good
• Dust Jacket Condition: Dust Jacket Included
• Book Type: book

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.