Новости
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
Поиск
Эббинхаус Г.Д.,Якобс К.,МанФК,Гермес Г. ...
Эббинхаус Г.Д., Якобс К., Ман Ф.К., Гермес Г. [1972] Машины Тьюринга и рекурсивные функции М., Мир (Перевод книги, Ebbinghaus H.D., Jacobs K., Mahn F.K., Hermes H. “Turing-Maschinen und berechenbare Funktionen”, 1970.) 73.В2.354 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на М
М Маканин Г.С. МакКой Ч. Ф. Максимова Л. Л. МальцевАИ МальцевАнА МанФК Манин Ю.И. Маранджан Г.Б. Марков А.А. Марченков С. С. Маслова Т.М. Матиясевич Ю.В. Матросов В.Л. Медведев Ю.Т. Мейтус В.Ю. Мендельсон Э. Микенберг ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.