Skip to main content
PBS logo
 
 

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

The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
The Logic of Typed Feature Structures With Applications to Unification Grammars Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science
Author: Robert L. Carpenter
This book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs and feature-structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. It presents a synthesis of many existing ideas into a uniform framework...  more »
ISBN-13: 9780521419321
ISBN-10: 0521419328
Publication Date: 6/26/1992
Pages: 280
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Other Versions: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.