000 | 00571nam a22001937a 4500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20180912235002.0 | ||
008 | 090503t xxu||||| |||| 00| 0 eng d | ||
040 |
_auniversity _bEnglish _cUniversity |
||
100 |
_aJuris Hartmanis _94050 |
||
245 | _aFeasible computations and provable complexity properties | ||
260 |
_bSocy.For Indl.& Appld.Maths.SIAM _c1989 |
||
300 | _a62 | ||
518 | _aMD/1/0027/2009-10/02-05-09 | ||
650 |
_aMachine theory _9606 |
||
650 |
_aFormal languages _9605 |
||
650 |
_aComputational complexity _9432 |
||
942 |
_2ddc _cBK |
||
999 |
_c6322 _d6322 |