| Record ID | ia:automationofreas0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/automationofreas0000unse/automationofreas0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/automationofreas0000unse/automationofreas0000unse_meta.mrc |
LEADER: 00708cam a2200229 a 4500
001 83172968
003 DLC
005 20111220085246.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.