Библиография Лаврова И.А.
Новости
02 Марта, 2026
Конкурс на замещение должности
22 Февраля, 2026
Защита диссертаций
05 Февраля, 2026
Конкурс на замещение должности
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Смальян Р. ...
Смальян Р. [1981] Теория формальных систем М., Наука (Перевод книги Smullyan, R.M. “Theory of formal systems”, 1961.) 82.02.18 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на С
С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.