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 ...

Allgemein

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

Eigenschaften

Menü