Библиография Лаврова И.А.

Новости

27 Января, 2025 «Базис» и ИСП РАН при поддержке «Фобос-НТ» обнаружили уязвимости в популярном открытом ПО виртуализации

13 Января, 2025 11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева

24 Декабря, 2024 На Открытой конференции ИСП РАН 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сийской академии наук / Библиография Лаврова И.А.

Авторы на М