| Record ID | marc_loc_updates/v39.i51.records.utf8:7049497:708 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v39.i51.records.utf8:7049497:708?format=raw |
LEADER: 00708cam a2200229 a 4500
001 83172968
003 DLC
005 20111219110259.0
008 830714s1983 gw a b 000 0 eng
010 $a 83172968
020 $a0387120432 (U.S. : v. 1)
020 $a0387120440 (U.S. : v. 2)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bA94 1983
082 00 $a001.53/5$219
245 00 $aAutomation of reasoning /$cedited by Jörg Siekmann and Graham Wrightson.
260 $aBerlin ;$aNew York :$bSpringer,$c1983.
300 $a2 v. :$bill. ;$c25 cm.
504 $aIncludes bibliographical references.
650 0 $aAutomatic theorem proving.
700 1 $aSiekmann, Jörg H.
700 1 $aWrightson, Graham.