TY - BOOK AU - Sipser, Michael AU - TI - Introduction to the theory of computation SN - 0-619-21764-2 U1 - 511.35 Si617 2006 CY - Massachusetts PB - Thomson Course Technology. KW - Recusion theory KW - Computational complexity KW - Computer Science-Mathematics ER -