← Вернуться

Опарин В.В.

Читать

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

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

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

Похожие