理论计算机科学 可计算性与计算复杂性 释文 non-deterministic time hierarchy theorem 非确定性时间层谱定理
- Mikhail Alexandrovich Dudin
- Mikhail Andreevich Osorgin
- Mikhail Andreyevich Velikanov
- Mikhail Arkadevich Svetlov
- Mikhail Baryshnikov
- Mikhail Efimovich Koltsov
- Mikhail Emmanuilovich Kozakov
- Mikhail Fabianovich Gnesin
- Mikhail Filippovich Shatrov
- Mikhail Fyodorovich Larionov
- Mikhail G. Yaroshevsky
- Mikhail Ilyich Romm
- Mikhail Ivanovich Agoshkov
- Mikhail Ivanovich Tsarev
- Mikhail Ivanovic Popov
- Mikhail Konstantinovich Kalatozov
- Mikhail Kuzmich Lukonin
- Mikhail Larionovitch Mikhailov
- Mikhail Leonidovich Slonimsky
- Mikhail Leontyevich Mil
- Mikhail Lvovich Matusovsky
- Mikhail Markovich Borodin
- Mikhail Matveevich Kheraskov
- Mikhail Mikhailovich Prishvin
- Mikhail Mikhailovich Protodyakonov