000 00572nam a22001937a 4500
003 OSt
005 20180912235015.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. Mathematics SIAM
_c1989
300 _a62
518 _aSAR/20/2009/11-05-09
650 _aMachine theory
_9606
650 _aFormal languages
_9605
650 _aComputational complexity
_9432
942 _2ddc
_cBK
999 _c6644
_d6644