| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:95369159:1347 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:95369159:1347?format=raw |
LEADER: 01347cam a2200361 a 4500
001 1077811
005 20220601204839.0
008 920421s1991 maua b 000 0 eng
010 $a 91028684
020 $a0817635939 (hard : acid-free) :$c$28.00
020 $a3764335939 (hard : acid-free) :$c$28.00
035 $a(OCoLC)24429242
035 $a(OCoLC)ocm24429242
035 $a(CStRLIN)NYCG92-B27249
035 $9AGB0830CU
035 $a(NNC)1077811
035 $a1077811
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bS6 1991
082 00 $a511.3$220
090 $aQA76.9.A96$bS6 1991
100 1 $aSnyder, Wayne,$d1955-$0http://id.loc.gov/authorities/names/n91087004
245 12 $aA proof theory for general unification /$cWayne Snyder.
260 $aBoston :$bBirkhäuser,$c1991.
300 $avi, 175 pages :$billustrations ;$c25 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aProgress in computer science and applied logic ;$vv. 11
504 $aIncludes bibliographical references (p. [167]-175).
650 0 $aAutomatic theorem proving.$0http://id.loc.gov/authorities/subjects/sh85010111
830 0 $aProgress in computer science and applied logic ;$vv. 11.$0http://id.loc.gov/authorities/names/n88510025
852 00 $boff,eng$hQA76.9.A96$iS6 1991