Новости
16 Декабря, 2022
Открытая конференция ИСП РАН собрала 650 специалистов по системному программированию, цифровой медицине и лингвистике
14 Октября, 2022
Защита диссертаций
07 Октября, 2022
Более 300 человек приняли участие в конференции ИСП РАН в Казани
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Shepherdson J.C., Sturgis H. E. ...
Shepherdson J.C., Sturgis H. E. [1963] Computability of recursive functions J. Ass. Comp. Mach., 10, № 2, 217-255 64.01.107 ROS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на S
... Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel J.R. Stefani S. Stephan F. Stephen B. Stewart F.M. Steyaert J.M. Stillwell J. Stob M. Stockmeyer L.J. Stoltenberg-Hansen V. StrongHR Sturgis H. E. Su Kaile Surányi J. Suzuki Y. Szmielew W. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.