Record ID | marc_records_scriblio_net/part16.dat:74734158:600 |
Source | Scriblio |
Download Link | /show-records/marc_records_scriblio_net/part16.dat:74734158:600?format=raw |
LEADER: 00600cam 2200205 a 4500
001 82243531 //r88
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.