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

by Robert L. Carpenter

Hardcover

ISBN: 978-0-521-41932-1

ISBN-10: 0-521-41932-8

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