Search results
News
02 August, 2019
OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
10 April, 2019
Ivannikov Memorial Workshop has been supported by IEEE
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
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
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Стукачев А.И.
Стукачев А.И. [2007] О степенях представимости моделей, I Алгебра и логика, 46, № 6, 763-788 08.09.111 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Стукачев А.И.
Стукачев А.И. [2008] О степенях представимости моделей, II Алгебра и логика, 47, № 1, 108-126 08.12.140 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Авторы на С
С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.