LEADER 00978nam0-22003491i-450-
001 990001491800403321
005 20091110114407.0
010   $a0-534-94728-X
035   $a000149180
035   $aFED01000149180
035   $a(Aleph)000149180FED01
035   $a000149180
100   $a20020301d1997----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---001yy
200 1 $aIntroduction to the theory of computation$fMichael Sipser
210   $aBoston (Mass.)$cPWS$dc1997
215   $axv, 396 p.$cill.$d24 cm
610 0 $aTeoria computazionale
610 0 $aTeoria delle macchine
610 0 $aComplessità computazionale
610 0 $aLogica matematica
676   $a511.3$v21
700  1$aSipser,$bMichael$066386
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001491800403321
952   $a511.3-SIP-1$b1184$fSC1
959   $aSC1
996   $aIntroduction to the theory of computation$9377869
997   $aUNINA