Библиография Лаврова И.А.
Новости
26 Сентября, 2024
Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций
24 Сентября, 2024
Приглашаем принять участие в Открытой конференции ИСП РАН
19 Сентября, 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
Поиск
Кокорин А.И., Пинус А.Г. ...
Кокорин А.И., Пинус А.Г. [1978] Вопросы разрешимости расширенных теорий Успехи мат. наук, 33, № 2, 49-84. 78.08.103 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Гуревич Ю.Ш., Кокорин А.И.
Гуревич Ю.Ш., Кокорин А.И. [1963] Универсальная эквивалентность упрядоченных абелевых групп Алгебра и логика, 2, № 1, 37-39 63.11.185 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на К
... Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К. Клосс Б.М. Кобзев Г.Н. Когабаев Н.Т. Козмидиади В.А. Козьминых В.В. Кокорин А.И. Колганов Н. Колмогоров А.Н. Комбарро Э.Ф. Корольков Ю.Д. Костырко В.Ф. Крупский В.Н. Ксяо-динг Йн Кудинов О.В. Кузнецов А.В. Кузьмина Т.М. Куммер ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.