01547nam0-2200433---450 99000561125020331620220104122647.0000561125USA01000561125(ALEPH)000561125USA0100056112519981214d1978----|||y0itaa50------baitait0 00|||Teoria matematica della computazioneZohar Manna[trad. di Pierfranco Peretti]TorinoBoringhieri1978IX, 451 p.20 cmTesti e manuali della scienza contemporanea. Serie di informaticaTrad. di: Mathematical theory of computation2001Testi e manuali della scienza contemporanea. Serie di informatica001SA00274892001Mathematical theory of computationZohar Manna.32582ElaboratoriProgrammazioneFunzioni computabiliFTeoria della ricorsivitàFTORINO004.015 1MANNA,Zohar25952PERETTI,PierfrancoITSA20111219990005611250203316Dipar.to di Filosofia - SalernoDFF.V. MAN (411)2222 FILXV.17. 271 (F.V. MAN) (411)2222 FILXV.17451065BKTeoria della computabilitàTeoria della ricorsivitàSAC001943FVER20121027USA01152520121027USA011614Mathematical theory of computation32582UNISA