Новости
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Muraki H. ...
Muraki H. [1999] Non-distributive upper semilattice of Kleene degrees J. Symbolic Logic, 64, № 1, 147-158 05.08.91 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на M
.... 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 A.G. Mycka J. Myhill J. Mytilinaios M.E. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.