Библиография Лаврова И.А.
Новости
02 Сентября, 2020
ИСП РАН провел круглый стол по кибербезопасности на форуме «Армия-2020»
28 Августа, 2020
Минобрнауки РФ и Роспотребнадзор подготовили рекомендации по профилактике коронавирусной инфекции в вузах
28 Августа, 2020
В ИСП РАН состоялись выборы директора
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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сийской академии наук / Библиография Лаврова И.А.