The Logic of Typed Feature Structures: with Applications to Unification Grammars, Logic Programs and Constraint Resolution

Shelfclass_id	4.B.1
Sortkey	CARPENTER, BOB
Authors	Bob Carpenter
Title	The Logic of Typed Feature Structures: with Applications to Unification Grammars, Logic Programs and Constraint Resolution
Publisher	Cambridge University Press
Year	1992
Languages	eng
Isbn	0521419328
Series	Cambridge tracts in theoretical computer science
Volume	32
Description	viii, 270 p. ill. 26 cm
Record date	20060712
Location	New York
Keywords	Data structures (Computer science), Logic programming
Urlnote	Table of contents
Urls	http://www.loc.gov/catdir/toc/cam028/91039777.html