| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:272886878:586 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:272886878:586?format=raw |
LEADER: 00586cam a2200181 a 4500
001 f268eb1ad095414d94b95baad55d4dbf
003 UK-BiTAL
005 20050705115048.0
008 890414s1985 xxk | 000 ||eng|d
035 $a()y9512434
040 $aUP$cUP$dUP$dUK-BiTAL
100 1 $aPaulson, Lawrence C.
245 00 $aNatural deduction proof as higher-order resolution.
250 $a(revised version).
260 $aCambridge :$bUniversity of Cambridge, Computer Laboratory,$c1985.
300 $a25p.
490 0 $aTechnical report ;$vNo.82
710 2 $aUniversity of Cambridge.$bComputer Laboratory.