The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution Book Discussion
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Series Number 32)
by
