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

Новости

11 Июля, 2019 Сотрудники ИСП РАН победили в конкурсе на получение стипендии Президента РФ молодым учёным и аспирантам

11 Июля, 2019 ИСП РАН будет сотрудничать с Белградским университетом

02 Июля, 2019 8 июля 2019 года в 11:00 в ИСП РАН состоится научный семинар по системному программированию

Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)

Введение и правила пользования системой

Навигация по авторам:

Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я

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

Поиск

Schwabhauser W.

Schwabhauser W. [1959] Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie Z. math. Logik und Grundl. Math., 5, № 2, 132-205 62.09.63 article Вернуться к поиску

Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.

Авторы на S