| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:272885756:566 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:272885756:566?format=raw |
LEADER: 00566cam a2200169 a 4500
001 6cbef97e4d3343868e377c17fc388f27
003 UK-BiTAL
005 20050705115048.0
008 890316s1985 xxk | 000 ||eng|d
035 $a()y9512411
040 $aUP$cUP$dUP$dUK-BiTAL
100 1 $aPaulson, Lawrence C.
245 00 $aInteractive theorem proving with Cambridge LCF :$ba user's manual.
260 $aCambridge :$bUniversity of Cambridge,Computer Laboratory,$c1985.
300 $a140p.
490 0 $aTechnical report ;$vNo.80
710 2 $aUniversity of Cambridge.$bComputer Laboratory.