02033nam0-22006491i-450 99000144976040332120210114123824.00-12-206382-1000144976FED01000144976(Aleph)000144976FED0100014497620001205d1994----km-y0itay50------baengUSa---a---001yyComputability, complexity, and languagesfundamentals of theoretical computer scienceMartin D. Davis, Ron Sigal, Elaine J. Weyuker2nd ed.San Diego [Ca.]Academic Pressc1994xix, 609 p.ill.23 cmComputer science and scientific computing1. ed. 1983Linguaggi formaliTeoria delle macchineTeoria degli automiLogica matematica511.3Davis,Martin<1928- >51851Sigal,Ron62989Weyuker,Elaine J.51852ITUNINARICAUNIMARCBK990001449760403321511.3-DAV-1791SC1511.3-DAV-1A792SC1511.3-DAV-1B793SC1511.3-DAV-1C1085SC1511.3-DAV-1D1086SC1511.3-DAV-1E1087SC1511.3-DAV-1F1389SC1511.3-DAV-1G1390SC1511.3-DAV-1H1391SC1511.3-DAV-1I1392SC1511.3-DAV-1L4798SC1511.3-DAV-1M4800SC1511.3-DAV-1N4801SC1511.3-DAV-1O4802SC1511.3-DAV-1P4803SC113 26 253164 / 2020FINBC13 H 76 103165 / 2020FINBC23 14 E 143166 / 2020FINAG23 14 E 153167 / 2020FINAGSC1FINBCFINAGComputability, complexity, and languages374254UNINA