| Record ID | marc_loc_2016/BooksAll.2016.part14.utf8:143113860:595 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part14.utf8:143113860:595?format=raw |
LEADER: 00595cam a2200205 a 4500
001 82243531
003 DLC
005 19880404000000.0
008 821216s1982 gw a b 00110 eng
010 $a 82243531 //r88
020 $a3528085207 :$cDM27.50
050 0 $aQA76.9.A96$bB5 1982
082 0 $a511.3$219
100 1 $aBibel, W.,$d1938-
245 10 $aAutomated theorem proving /$cWolfgang Bibel.
260 0 $aBraunschweig :$bF. Vieweg,$c1982.
300 $axiii, 292 p. :$bill. ;$c23 cm.
504 $aBibliography: p. [277]-287.
500 $aIncludes index.
650 0 $aAutomatic theorem proving.