Библиография Лаврова И.А.
Новости
20 Мая, 2026
Итоги конкурса на замещение вакантных должностей
29 Апреля, 2026
Итоги конкурса на замещение вакантных должностей
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Seidenberg A.
Seidenberg A. [1954] A new decision method for elementary algebra Ann. Math., 60, № 2, 365-374 ~ article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на S
S Sacks G.E. Salts M.C. Sanches L. Sankappanavar H.P. Sasso L.P. Schaefer M. Schaeffer B. Schäfer G. Schinzel B. Schmerl J.H. Schmidt D. Schmitz H. Schnorr C. P. Schwabhauser W. Schwarz S. T. Schwichtenberg H. Scott D. Seetapun D. Seidenberg A. Seigneur A. Selivanov V.L. Selman A.L. Semenov A.L. Semukhin P. Shapiro N. Shavrukov V. Yu. Shelach S. Shen A.Kh. Shepherdson J.C. Shi Nian Dong Shinoda J. Shlapentokh A. Shoenfield J.R. Shore R.A. Silibovski S. Simon J. Simpson S.G. Skolem T. Skordev ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.