TY - BOOK AU - Hartmanis,Juris ED - Society for Industrial and Applied Mathematics TI - Feasible computations and provable complexity properties T2 - CBMS-NSF regional conference series in applied mathematics AV - QA267 H365 U1 - 519.4 PY - 1978/// CY - Philadelphia PB - Society for Industrial and Applied Mathematics KW - Teoría de las máquinas KW - Lenguajes formales KW - Complejidad computacional ER -