Библиография Лаврова И.А.
Новости
18 Декабря, 2025
Конкурс на замещение должности
18 Декабря, 2025
Открытая конференция ИСП РАН 2025: итоги и ключевые темы
24 Ноября, 2025
Конкурс на замещение должности
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Börger E., Heidler K. ...
Börger E., Heidler K. [1976] Die m -Grade logischer Entscheidungsprobleme Arch. Math. Logik Grundl., 17, № 3-4, 105-111 76.09.83 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на H
H Haas R. Hâjek P. Hammond T. Harizanov V.S. Harley J.P. Harrington L.A. Harrison J. Harrop R. Harrow K. Hartmanis J. Haught C.A. Hay L. Heaton A.J. Hebeison F. Hecker H.D. Heidler K. Heller A. Helm J.P. Hemachandra L. Hensel G. Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer S. Hopcroff J.E. Hořejš J. Horowitz B.M. HowardWA ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.