| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:273076026:647 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:273076026:647?format=raw |
LEADER: 00647cam a2200169 a 4500
001 94cb2c21372142ec8dad0638946e2829
003 UK-BiTAL
005 20050705115313.0
008 890217s1986 xxk | 000 ||eng|d
035 $a()y9518224
040 $aUP$cUP$dUK-BiTAL
100 1 $aBurstall, R. M.$q(Rodney Martineau),$d1934-
245 00 $aResearch in interactive theorem proving at Edinburgh University.
260 $aEdinburgh :$bUniversity of Edinburgh, Laboratory for Foundations of Computer Science,$c1986.
300 $a7p.
490 0 $aLFCS report series ;$vECS-LFCS-86-12
710 2 $aUniversity of Edinburgh.$bLaboratory for Foundations of Computer Science.