Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

60.50 EUR

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.

Gesponsert

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

Medimops DE

60.50 EUR

03-05-2026 19:45:58

Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

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

Ähnliche Produkte

Rewriting and Typed Lambda Calculi

Hamilton versus Mill: A thorough discussion of each chapter in Mr. John S. Mill's examination of Hamilton's logic and philosophy, beginning with the logic

Jameson, Fredric: Postmodernism

The Game of Logic

Topics in the Logic of Relevance

Introductiones in Logicam. Einführung in die Logik