| Record ID | ia:lambdacalculusco0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/lambdacalculusco0000unse/lambdacalculusco0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/lambdacalculusco0000unse/lambdacalculusco0000unse_meta.mrc |
LEADER: 03999cam 2200901 i 4500
001 ocm01849004
003 OCoLC
005 20200926034347.0
008 751007s1975 gw a b 100 0 eng
010 $a 75033375
040 $aDLC$beng$erda$cDLC$dNLGGC$dLVB$dC$Q$dAU@$dDEBBG$dZWZ$dGW5XE$dKIJ$dGBVCP$dOCLCQ$dBDX$dOCLCF$dOCLCQ$dOCLCO$dOCL$dOCLCO$dOCLCQ$dGZN$dOCLCQ$dOCLCO$dUWO$dOCLCA$dOCLCQ$dNKM$dOCLCO$dBUF$dOCLCO$dOCLCA$dHDC$dOCLCA$dMM9
015 $a76,A55,0486$2dnb
016 7 $a760417180$2DE-101
019 $a213789590$a225271841$a230156337$a911747077$a962862092$a977602047$a1011810416$a1016336373$a1164181408$a1167046183$a1171156215
020 $a0387074163
020 $a9780387074160
020 $a3540074163
020 $a9783540074168
035 $a(OCoLC)1849004$z(OCoLC)213789590$z(OCoLC)225271841$z(OCoLC)230156337$z(OCoLC)911747077$z(OCoLC)962862092$z(OCoLC)977602047$z(OCoLC)1011810416$z(OCoLC)1016336373$z(OCoLC)1164181408$z(OCoLC)1167046183$z(OCoLC)1171156215
041 0 $aeng$afre
041 0 $aengfre
050 00 $aQA9.5$b.L35
082 00 $a511/.3
084 $a31.11$2bcl
084 $a31.80$2bcl
084 $a54.10$2bcl
084 $aQH 500$2rvk
084 $aSS 4800$2rvk
084 $a26b$2sdnb
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.
264 1 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1975.
300 $axii, 370 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v37
500 $aEnglish or French.
504 $aIncludes bibliographical references.
530 $aAlso issued online.
546 $aEnglish or French.
650 0 $aCombinatory logic$vCongresses.
650 0 $aProgramming languages (Electronic computers)$vCongresses.
650 6 $aLangages de programmation$vCongrès.
650 6 $aLogique combinatoire$vCongrès.
650 7 $aCombinatory logic.$2fast$0(OCoLC)fst00868988
650 7 $aProgramming languages (Electronic computers)$2fast$0(OCoLC)fst01078704
650 7 $aDatenverarbeitung$2gnd
650 7 $aKombinatorische Logik$2gnd
650 7 $aLambda-Kalkül$2gnd
650 7 $aLogik$2gnd
650 7 $aMetamathematik$2gnd
650 7 $aProgrammiersprache$2gnd
650 7 $aKongress$2gnd
650 17 $aLambda-calculus.$2gtt
655 4 $aKongress.
655 4 $aKongreß$zRom$y1975.
655 4 $aLambda-Calculus.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aBöhm, C.$q(Corrado),$d1923-
710 2 $aIstituto per le applicazioni del calcolo.
776 08 $iOnline version:$aSymposium on [symbol for lambda]-Calculus and Computer Science Theory (1975 : Rome, Italy).$t[Lambda]-calculus and computer science theory.$dBerlin ; New York : Springer-Verlag, 1975$w(OCoLC)569508687
830 0 $aLecture notes in computer science ;$v37.
856 41 $3SpringerLink$uhttps://doi.org/10.1007/BFb0029515
856 41 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=37
856 41 $uhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-07416-8$zAvailable through SpringerLink
856 4 $xLNCS$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=37$zConnect to Internet resource
938 $aBrodart$bBROD$n27305856$c$13.20
029 1 $aAU@$b000000240844
029 1 $aAU@$b000027525473
029 1 $aAU@$b000045099765
029 1 $aDEBBG$bBV000955112
029 1 $aGBVCP$b03956553X
029 1 $aHEBIS$b235864617
029 1 $aNLGGC$b040685551
029 1 $aNZ1$b13031981
029 1 $aNZ1$b2619360
994 $aZ0$bP4A
948 $hHELD BY P4A - 233 OTHER HOLDINGS