LEADER 01458nam2-2200433li-450 001 990000202830203316 005 20180312154735.0 010 $a3-540-51516-X 035 $a0020283 035 $aUSA010020283 035 $a(ALEPH)000020283USA01 035 $a0020283 100 $a20001109d1989----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aMachines, languages and complexity$e5th international meeting, Smolenice Czechoslovakia, November 14-18, 1988$fJ. Dassow, J. Kelemen (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1989 215 $aVI, 244 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v381 410 0$10010020264$12001$aLecture notes in computer science 610 1 $aalgoritmi 610 1 $aintelligenza artificiale 610 1 $alinguaggi formali 610 1 $ateoria delle macchine 676 $a5113$9Logica simbolica (Logica matematica) 702 1$aDassow,$bJürgen 702 1$aKelemen,$bJozef 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000202830203316 951 $a001 LNCS (381)$b0015135$c001$d00102639 959 $aBK 969 $aSCI 979 $c19931103 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010125$lUSA01$h1215 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aMachines Languages, and Complexity$9382921 997 $aUNISA