| Record ID | marc_loc_2016/BooksAll.2016.part21.utf8:25120715:1034 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part21.utf8:25120715:1034?format=raw |
LEADER: 01034pam a2200253 a 4500
001 91039777
003 DLC
005 20020824204735.0
008 911010s1992 enka b 001 0 eng
010 $a 91039777
020 $a0521419328
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.D35$bC37 1992
082 00 $a005.7/3$220
100 1 $aCarpenter, Bob.
245 14 $aThe logic of typed feature structures :$bwith applications to unification grammars, logic programs, and constraint resolution /$cBob Carpenter.
260 $aCambridge ;$aNew York :$bCambridge University Press,$c1992.
300 $aviii, 270 p. :$bill. ;$c26 cm.
440 0 $aCambridge tracts in theoretical computer science ;$v32
504 $aIncludes bibliographical references (p. 245-258) and indexes.
650 0 $aData structures (Computer science)
650 0 $aLogic programming.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam024/91039777.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/cam028/91039777.html