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

Ein theoretisches Buch, das die Logik typisierter Merkmalstrukturen untersucht und deren Einsatz in Unifikationsgrammatiken, logischen Programmen sowi ...
Wo zu kaufen (1) Eigenschaften
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
63.30 EUR
Preis aktualisiert am: 12-06-2026 07:19:48
Siehe Produktangebot

Allgemein

Marke
Carpenter, Robert L.
ISBN
Carpenter, Robert L. 0521022541

Eigenschaften

Ähnliche Produkte

Rewriting and Typed Lambda Calculi
Rewriting and Typed Lambda Calculi
Produkt anzeigen
Postmodernism: Or, the Cultural Logic of Late Capitalism (Poetics of Social Forms)
Postmodernism: Or, the Cultural Logic of Late Capitalism (Poetics of Social Forms)
Produkt anzeigen
Introductiones in Logicam. Einführung in die Logik
Introductiones in Logicam. Einführung in die Logik
Produkt anzeigen
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
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
Produkt anzeigen
The Game of Logic
The Game of Logic
Produkt anzeigen
Introductiones in Logicam. Einführung in die Logik
Introductiones in Logicam. Einführung in die Logik
Produkt anzeigen
Menü