QR-код документа
d6fe95b8cc795732215d5035e726183e
004.42/Н 592
Нечесов, Андрей Витальевич.
Полиномиальная вычислимость в семантическом программировании : специальность 1.1.5 - "Математическая логика, алгебра, теория чисел и дискретная математика.": автореферат диссертации на соискание учёной степени кандидата физико-математических наук / Нечесов Андрей Витальевич ; Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук. - Новосибирск, 2022. - 23 с. : ил. - Библиогр.: с. 20-23 (41 назв.). - 100 экз.
| ГРНТИ | 50.05.13 | |
| УДК | 004.42:004.738.5(043) | 004.42.047(043) |
Кл.слова (ненормированные):
P-ПОЛНОТА -- ВРЕМЕННАЯ СЛОЖНОСТЬ -- ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ЛОГИЧЕСКИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- СИНТАКСИЧЕСКИЕ КОНСТРУКЦИИ -- СПИСОЧНЫЕ ПРЕДСТАВЛЕНИЯ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17
Доп.точки доступа:
Институт математики им. С. Л. Соболева (Новосибирск)
Свободных экз. нет
