Record ID | marc_loc_2016/BooksAll.2016.part09.utf8:38703456:1033 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part09.utf8:38703456:1033?format=raw |
LEADER: 01033cam a2200265 i 4500
001 75033375
003 DLC
005 20111220082329.0
008 751007s1975 gw a b 100 0 eng
010 $a 75033375
020 $a0387074163
040 $aDLC$cDLC$dDLC
041 0 $aengfre
050 00 $aQA9.5$b.L35
082 00 $a511/.3
245 00 $a[Lambda]-calculus and computer science theory :$bproceedings of the symposium held in Rome, March 25-27, 1975 /$cIAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1975.
300 $axii, 370 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v37
500 $aEnglish or French.
504 $aIncludes bibliographies.
650 0 $aCombinatory logic$xCongresses.
650 0 $aProgramming languages (Electronic computers)$xCongresses.
700 1 $aBöhm, C.$q(Corrado),$d1923-
710 2 $aIstituto per le applicazioni del calcolo.