Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
67.49 EUR63.30 EUR6% Off
Ein umfassendes Werk, das die mathematische Theorie typisierter Merkmalstrukturen erforscht und ihre Rolle in Unifikationsgrammatiken, logischen Programmen sowie Constraint‑Lösungsmechanismen anhand konkreter Beispiele veranschaulicht.