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.

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0521419328 ISBN 13:  9780521419321
Verlag: Cambridge University Press, 1992
Hardcover