TY - BOOK AU - Lewis,Harry R. AU - Papadimitriou,Christos H. TI - Elements of the theory of computation SN - 0132624788 U1 - 511.3 22 PY - 1998///] CY - Upper Saddle River, New Jersey PB - Prentice-Hall KW - Machine theory KW - BUEsh KW - Computational complexity KW - Logic, symbolic and mathematical KW - Formal languages KW - COMSCI KW - January2015 KW - Reading book N1 - Includes bibliographical references and index ER -