| Record ID | marc_loc_2016/BooksAll.2016.part21.utf8:16272836:767 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part21.utf8:16272836:767?format=raw |
LEADER: 00767pam a2200229 a 4500
001 91028684
003 DLC
005 19920116081205.6
008 910827s1991 maua b 00010 eng
010 $a 91028684
020 $a0817635939 (hard : acid-free) :$c$28.00
020 $a3764335939 (hard : acid-free) :$c$28.00
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bS6 1991
082 00 $a511.3$220
100 10 $aSnyder, Wayne,$d1955-
245 12 $aA proof theory for general unification /$cWayne Snyder.
260 0 $aBoston :$bBirkhäuser,$c1991.
300 $avi, 175 p. :$bill. ;$c25 cm.
440 0 $aProgress in computer science and applied logic ;$vv. 11
504 $aIncludes bibliographical references (p. [167]-175).
650 0 $aAutomatic theorem proving.