Search results
News
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
Костырко В.Ф. [1965] К проблеме разрешимости для случая Аккермана Сибирск. матем. журнал, 6, № 2, 342-363 65.10.68 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Костырко В.Ф. [1964] Класс сведения ∀∃ n ∀ Алгебра и логика, 3 , № 5-6, 45-55 65.08.74. статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Костырко В.Ф. [1971] Неразрешимость элементарной ∃- теории группоидов Сб. Теоретическая кибернетика, 41-47 72.10.54 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Костырко В.Ф. [1966] О классе сведения ∀∃∀ Кибернетика, №1, 17-22 66.12.72 статья Вернуться к поиску
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.