000 00656 a2200265 4500
001 60409
020 _a0-521-41932-80
041 _aeng
080 _a681.3.06:517.1 Car
245 _aLogic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution
250 _a
260 _a
260 _bCambridge : Cambridge University Press, 1992
260 _c1992
300 _aviii,270 p.
300 _c25 cm
490 _a
100 _aCarpenter, Bob
700 _a
650 _a
650 _aData structures (Computer science)
650 _aLogic programming
942 _cBK
942 _2UDC
999 _c22263
_d22263