| Record ID | marc_columbia/Columbia-extract-20221130-001.mrc:153038107:964 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-001.mrc:153038107:964?format=raw |
LEADER: 00964cam a2200301 a 4500
001 122862
005 20220518201729.0
008 821213s1982 gw a 001 0 eng d
020 $a3528085207 (pbk) :$c58,00 DM
035 $a(OCoLC)9183536
035 $a(OCoLC)ocm09183536
035 $a(CStRLIN)NYCG82-B65638
035 $9AAP0566CU
035 $a(NNC)122862
035 $a122862
040 $dNNC
090 $aQA76.9.A96$bB5
100 1 $aBibel, W.,$d1938-$0http://id.loc.gov/authorities/names/n80082908
245 10 $aAutomated theorem proving /$cWolfgang Bibel.
260 $aWiesbaden :$bVieweg,$c1982.
300 $axiii, 293 pages :$billustrations ;$c23 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
500 $aIncludes index.
504 $aBibliography: p. [277]-287.
650 0 $aAutomatic theorem proving.$0http://id.loc.gov/authorities/subjects/sh85010111
852 00 $boff,eng$hQA76.9.A96$iB5