| Record ID | marc_loc_2016/BooksAll.2016.part25.utf8:81012764:1037 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part25.utf8:81012764:1037?format=raw |
LEADER: 01037cam a2200265 a 4500
001 96011760
003 DLC
005 20080312083340.0
008 960229s1996 ne a b 001 0 eng
010 $a 96011760
020 $a0792340175 (hb : acid₋free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bS72 1996
082 00 $a511.3$220
100 1 $aStachniak, Zbigniew.
245 10 $aResolution proof systems :$ban algebraic theory /$cby Zbigniew Stachniak.
260 $aDordrecht ;$aBoston :$bKluwer Academic Publishers,$cc1996.
300 $axvi, 206 p. :$bill. ;$c25 cm.
440 0 $aAutomated reasoning series ;$vv. 4
504 $aIncludes bibliographical references (p. 195-200) and indexes.
650 0 $aAutomatic theorem proving.
650 0 $aArtificial intelligence.
650 0 $aLogic, Symbolic and mathematical.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0822/96011760-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0822/96011760-t.html