000			00686pam a2200193a 44500
008			160408bc1992 xxu||||| |||| 00| 0 eng d
020			_a0521419328
082			_a005.73 _bC225L
100			_aCarpenter, Bob
245	1		_aLOGIC OF TYPED FEATURE STRUCTURES _cWITH APPLICATIONS TO UNIFICATION, GRAMMARS, LOGIC PROGRAMS AND CONSTRAINT RESOLUTION
260			_aCambridge _bCambridge Univ. Press _cc1992
300			_aviii,270
440			_aCambridge Tracts In Theoretical Computer Science _vNo. 32
500			_aIncludes Bibliographical References And Index
650			_aData Structures (Computer Science)
650			_aLogic Programming
964			_gCIRC
997			_aA116750 C
999			_c317834 _d317834