LEADER 01121nam0-22003251i-450- 001 990000470380403321 005 20100426103645.0 010 $a3-540-07389-2 035 $a000047038 035 $aFED01000047038 035 $a(Aleph)000047038FED01 035 $a000047038 100 $a20020821d1975----km-y0itay50------ba 101 0 $aeng 105 $aa-------101yy 200 1 $aMathematical foundations of computer science$e4th Symposium, Marianske Lazne, september 1-5, 1975$fedited by J. Becvar 210 $aBerlin ; Heidelberg$cSpringer-Verlag$d1975 215 $a476 p.$cill.$d24 cm 225 1 $aLecture notes in computer science$v32 610 0 $aTeoria delle macchine sequenziali$aCongressi 676 $a629.891 702 1$aBecvar,$bJiri 710 12$aSymposium on mathematical foundations of computer science$d<4. ;$f1975 ;$eMarianske Lazne, Czechoslovakia>$0491511 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000470380403321 952 $a10 PRO 157$b487 DIS$fDINEL 959 $aDINEL 996 $aMathematical foundations of computer science$9331966 997 $aUNINA