Библиография Лаврова И.А.

Новости

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

Поиск

Alfeld Ch. ...

Alfeld Ch. [2007] Non branching degrees in the Medvedev lattice of Π 1 0 classes J. Symbolic Logic , 72, № 1, 81-97. ? article Вернуться к поиску

Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.

Авторы на A