LEADER 01547nam0-2200433---450 
001 990005611250203316
005 20220104122647.0
035   $a000561125
035   $aUSA01000561125
035   $a(ALEPH)000561125USA01
035   $a000561125
100   $a19981214d1978----|||y0itaa50------ba
101   $aita
102   $ait
105   $a0 00|||
200 1 $aTeoria matematica della computazione$fZohar Manna$g[trad. di Pierfranco Peretti]
210   $aTorino$cBoringhieri$d1978
215   $aIX, 451 p.$d20 cm
225 2 $aTesti e manuali della scienza contemporanea. Serie di informatica
300   $aTrad. di: Mathematical theory of computation
410  0$12001$aTesti e manuali della scienza contemporanea. Serie di informatica
454   $1001SA0027489$12001$aMathematical theory of computation$fZohar Manna.$932582
606   $aElaboratori$xProgrammazione$xFunzioni computabili$2F
606   $aTeoria della ricorsività$2F
620   $dTORINO
676   $a004.015 1
700  1$aMANNA,$bZohar$025952
702  1$aPERETTI,$bPierfranco
801  0$aIT$bSA$c20111219
912   $a990005611250203316
950  0$aDipar.to di Filosofia - Salerno$dDFF.V. MAN (411)$e2222 FIL
951   $aXV.17. 271 (F.V. MAN) (411)$b2222 FIL$cXV.17$d451065
959   $aBK
966   $aTeoria della computabilità$zTeoria della ricorsività$3SAC001943
969   $aFVER
979   $c20121027$lUSA01$h1525
979   $c20121027$lUSA01$h1614
996   $aMathematical theory of computation$932582
997   $aUNISA