Библиография Лаврова И.А.
Новости
28 Октября, 2025
Конкурс на замещение должности
23 Октября, 2025
Конкурс на замещение должности
17 Октября, 2025
Конкурс на замещение должности
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Ng Keng Meng ...
Ng Keng Meng [2008] On very high degrees J. Symbolic Logic, 73, № 1, 309-342 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Ng Keng Meng , Stephan F., Wu G.
Ng Keng Meng , Stephan F., Wu G. [2006] The degree of weakly computable reals Lect Notes in Comput. Sci., 3988, 413-422 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Ng Keng Meng ...
Ng Keng Meng [2008] A cuppable non-bounding degree Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 207-224 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на N
N Nadel M.E. Neis H.C. Nelson G.C. Nerode A. Nessel J. Ng Keng Meng Nies A. Nikolova S.K. Normann D. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.