LEADER 00898nam0-22002651i-450- 001 990001210700403321 005 20110202193114.0 035 $a000121070 035 $aFED01000121070 035 $a(Aleph)000121070FED01 035 $a000121070 100 $a20001205d1975----km-y0itaa50------ba 101 0 $aeng 102 $aDE 200 1 $aCalculus and computer science theory$eproceedings of the Symposium held in Rome 25-27, 1975 IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche$fby C. Bohm 210 $aBerlin [etc.]$cSpringer-Verlag$d1975 225 1 $aLecture notes in computer science$v37 702 1$aBohm,$bCorrado 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001210700403321 952 $aC-16-(37$b17327$fMA1 959 $aMA1 996 $aCalculus and computer science theory$9343927 997 $aUNINA