LEADER 01522nam0-2200445li-450 
001 990000246800203316
005 20180312154631.0
010   $a0-12-206382-1
035   $a0024680
035   $aUSA010024680
035   $a(ALEPH)000024680USA01
035   $a0024680
100   $a2001994091994-------y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aComputability, complexity and languages$efundamentals of theoretical computer science$fMartin D. Davis, Ron Sigal, ElaineJ. Weyuker
205   $a2nd ed
210   $aBoston [etc.]$cAdademic Press$dcopyr. 1994
215   $aXVIII, 609 p.$cill.$d24 cm. - (Computer science and scientific computing)
610 1 $acomplessita' computazionale
610 1 $alinguaggi formali
610 1 $ateoria delle macchine
676   $a5113$9Logica simbolica (Logica matematica)
700  1$aDavis,$bMartin D.$0745778
702  1$aSigal,$bRon
702  1$aWeyuker,$bElaine J.
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000246800203316
951   $a511.3 DAV$b16075/CBS$c511.3$d00216384
959   $aBK
969   $aSCI
979   $c19940927
979   $c20001110$lUSA01$h1715
979   $c20020403$lUSA01$h1633
979   $aPATRY$b90$c20040406$lUSA01$h1618
979   $aRSIAV6$b90$c20090420$lUSA01$h1353
979   $aRSIAV6$b90$c20090420$lUSA01$h1353
979   $aRSIAV6$b90$c20090420$lUSA01$h1354
996   $aComputability, complexity and languages$91487678
997   $aUNISA