LEADER 02033nam0-22006491i-450 
001 990001449760403321
005 20210114123824.0
010   $a0-12-206382-1
035   $a000144976
035   $aFED01000144976
035   $a(Aleph)000144976FED01
035   $a000144976
100   $a20001205d1994----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---001yy
200 1 $aComputability, complexity, and languages$efundamentals of theoretical computer science$fMartin D. Davis, Ron Sigal, Elaine J. Weyuker
205   $a2nd ed.
210   $aSan Diego [Ca.]$cAcademic Press$dc1994
215   $axix, 609 p.$cill.$d23 cm
225 1 $aComputer science and scientific computing
300   $a1. ed. 1983
610 0 $aLinguaggi formali
610 0 $aTeoria delle macchine
610 0 $aTeoria degli automi
610 0 $aLogica matematica
676   $a511.3
700  1$aDavis,$bMartin$f<1928- >$051851
701  1$aSigal,$bRon$062989
701  1$aWeyuker,$bElaine J.$051852
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001449760403321
952   $a511.3-DAV-1$b791$fSC1
952   $a511.3-DAV-1A$b792$fSC1
952   $a511.3-DAV-1B$b793$fSC1
952   $a511.3-DAV-1C$b1085$fSC1
952   $a511.3-DAV-1D$b1086$fSC1
952   $a511.3-DAV-1E$b1087$fSC1
952   $a511.3-DAV-1F$b1389$fSC1
952   $a511.3-DAV-1G$b1390$fSC1
952   $a511.3-DAV-1H$b1391$fSC1
952   $a511.3-DAV-1I$b1392$fSC1
952   $a511.3-DAV-1L$b4798$fSC1
952   $a511.3-DAV-1M$b4800$fSC1
952   $a511.3-DAV-1N$b4801$fSC1
952   $a511.3-DAV-1O$b4802$fSC1
952   $a511.3-DAV-1P$b4803$fSC1
952   $a13 26 25$b3164 / 2020$fFINBC
952   $a13 H 76 10$b3165 / 2020$fFINBC
952   $a23 14 E 14$b3166 / 2020$fFINAG
952   $a23 14 E 15$b3167 / 2020$fFINAG
959   $aSC1
959   $aFINBC
959   $aFINAG
996   $aComputability, complexity, and languages$9374254
997   $aUNINA