| Record ID | marc_loc_2016/BooksAll.2016.part14.utf8:76286389:805 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part14.utf8:76286389:805?format=raw |
LEADER: 00805cam a2200241 a 4500
001 82137449
003 DLC
005 19911224104906.5
008 831020s1981 gw a b 000 0 eng
010 $a 82137449 //r91
020 $a0387111603 (U.S. : pbk.)
040 $aDLC$cDLC$dDLC$dOCoLC
050 00 $aQA76.6$b.L586 1981
082 00 $a001.64/25$219
245 00 $aLogic of programs :$bworkshop, ETH Zürich, May-July 1979 /$cedited by Erwin Engeler.
260 0 $aBerlin ;$aNew York :$bSpringer,$c1981.
300 $a245 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v125
504 $aIncludes bibliographies.
650 0 $aComputer programs.
650 0 $aLogic, Symbolic and mathematical.
700 10 $aEngeler, Erwin.
710 20 $aEidgenössische Technische Hochschule Zürich.