Verwandte Artikel zu Logic of Typed Feature Structures: With Applications...

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

Buch 11 von 40: Cambridge Tracts in Theoretical Computer Science

Carpenter, Robert L.

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

Inhaltsangabe

This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.