LEADER 01555nam 2200409 450 001 000014904 005 20050718115600.0 010 $a3-540-05377-8 100 $a20030709d1971----km-y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aSymposium on semantics of algorithmic languages$fedited by E. Engeler 210 $aBerlin [etc.]$cSpringer$d1971 215 $aVI, 372 p.$d26 cm. 225 2 $aLecture notes in mathematics$v188 410 0$12001$aLecture notes in mathematics 606 $aProgrammazione$xCongressi 676 $a001.6$v(21. ed.)$9Elaborazione dei dati 691 $a03-XX$9Mathematical logic and foundation 691 $a68Q45$9Computer science. Theory of computing. Formal languages and automata 691 $a68Q55$9Computer science. Theory of computing. Semantics 702 1$aEngeler,$bE. 710 12$aSymposium on semantics of algorithmic languages$f<1970$e; Minneapolis>$0441658 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000014904 996 $aSymposium on semantics of algorithmic languages$980382 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT003$b01$c20030709$lBAS01$h1255 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1052 CAT $c20050718$lBAS01$h1111 CAT $c20050718$lBAS01$h1141 CAT $c20050718$lBAS01$h1156 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$631392$5S31392$820030709$f51$FRiservati