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

Ар16-9373
Опарин, В. В. Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / В. В. Опарин. - СПб. : [б. и.], 2016. - 17 с. - Библиогр.: с. 17 (4 назв.). - 100 экз. - Текст : непосредственный.

ГРНТИ	УДК
27.03.19	510.74(043)
03.91

Кл.слова (ненормированные): сложность доказательств -- математическая логика -- теорема кука-рекхау
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

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