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

Buch 11 von 40: Cambridge Tracts in Theoretical Computer Science

Carpenter, Robert L.

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

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.

Weitere beliebte Ausgaben desselben Titels

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)

Vorgestellte Ausgabe

ISBN 10:  0521022541 ISBN 13:  9780521022545
Verlag: Cambridge University Press, 2008
Softcover