Полное описание

Нечесов, Андрей Витальевич. Полиномиальная вычислимость в семантическом программировании : специальность 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 (Шифр в БД-источнике (KATBW): Ар23-1526)

Шифр в сводном ЭК: d6fe95b8cc795732215d5035e726183e

Заказать
Заказ фрагмента документа ₽