01101nam0-2200385-i-450-99000913171040332120120117180105.0978-0-387-09638-4000913171FED01000913171(Aleph)000913171FED0100091317120100105d2010----km-y0itay50------baengUSa---a---001yy<<The >>pillars of computation theorystate, encoding, nondeterminismArnold L. RosenbergNew YorkSpringerc2010XVII, 324 p.24 cmUniversitextScienza del computerModelli di computazioneAutomi e grammatiche formali in connessione con questioni di logica511.3Rosenberg,Arnold L.506569ITUNINARICAUNIMARCBK990009131710403321C-6-(21424034MA1MA168-0168Q0503D05Pillars of computation theory782747UNINA