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