Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Minsky M.L. [1967] Computations:Finite and infinite machines Prentice-Hall, Inc., N.J (Имеется русский перевод.) ? O book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Minsky M.L. [1961] Recursive unsolvability of Post’s problem of “Tag” and other topics in theory of Turing machines Ann. Math., 74, № 3, 437-455 63.01.74 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Минский М. [1971] Вычисления и автоматы Мир, М. (Перевод книги Minsky M.L., “Computations:Finite and infinite machines”, 1967.) 71.В10.575 O книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... McKenzie R. McKinsey J. C. C. McLaughlin T.G. McNicholl T. H. McNulty G. Melhorn K. Melzak Z.A. Mendelson E. Menzel W. Merkle W. Metakides G. MeyerAR Mihailovich N. J. Mileti J.R. MillarRC MillarTS MillerD MillerJS MillerRG MillerS MillerW Mills C.F. Minsky M.L. Mitchell R. Moggi E. Moh Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ Mrowka S. MuchnikAn.A. Muraki H. Myasnikov ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.