← Вернуться

Оценки сложности вывода в системах доказательств, основанных на методе резолюций

О произведении

Автор:
Ответственность:
Опарин Всеволод Владиславович; Место защиты: Мат. ин-т им. В.А. Стеклова РАН
Место издания:
Санкт-Петербург
Год издания:
Количество страниц:
17 с.
ББК:
В123,0
Библиотека:
Российская государственная библиотека (РГБ)

Похожие