TY - BOOK AU - Lewis,Harry R. AU - Papadimitriou,Christos H. TI - Elements of the theory of computation SN - 0132624788 U1 - 511.3 20 PY - 1998/// CY - Nueva York (Estados Unidos) PB - Prentice-Hall KW - Teoría de la máquina KW - Idiomas formales KW - Complejidad computacional KW - Lógica simbólica y matemática ER -