| Record ID | marc_loc_updates/v37.i06.records.utf8:2632029:1121 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v37.i06.records.utf8:2632029:1121?format=raw |
LEADER: 01121cam a22002774a 4500
001 99010004
003 DLC
005 20090209091007.0
008 990104s1998 gw a b 001 0 eng
010 $a 99010004
020 $a3540655093 (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.A96$bB38 1998
082 00 $a004/.01/5113$221
100 1 $aBaumgartner, Peter,$d1962-
245 10 $aTheory reasoning in connection calculi /$cPeter Baumgartner.
260 $aBerlin :$aNew York :$bSpringer,$cc1998.
300 $aix, 283 p. :$bill. ;$c23 cm.
490 1 $aLecture notes in computer science ;$v1527$aLecture notes in artificial intelligence
504 $aIncludes bibliographical references and index.
650 0 $aAutomatic theorem proving.
830 0 $aLecture notes in computer science ;$v1527.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/99010004-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0815/99010004-t.html