TY - BOOK AU - Hartmanis Juris TI - Feasible computations and provable complexity properties U1 - 004.0151 PY - 1978/// CY - Philadelphia PB - Society for Industrial Mathematics KW - Computer science KW - Feasible computation ER -