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

Unification

by Robert L. Carpenter

Paperback

ISBN: 978-0-521-02254-5

ISBN-10: 0-521-02254-1

Cambridge University Press · 2008

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