| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:1197552645:647 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:1197552645:647?format=raw |
LEADER: 00647cam a2200169 a 4500
001 88928fb062ae4a368771642c4e6f1cb8
003 UK-BiTAL
005 20050705141213.0
008 940715s1993 xxk | 000 ||eng|d
035 $a()v9580826
040 $aMU(15)$cMU(15)$dUK-BiTAL
100 1 $aMir, Salvador.
245 00 $aHeuristic reasoning for an automatic commonsense understanding of logic electronic design specifications.
260 $aManchester :$bUniversity of Manchester,$c1993.
300 $a322p.
502 $aThesis (Ph.D.), - University of Manchester, Department of Computer Science.
710 2 $aUniversity of Manchester.$bDepartment of Computer Science.