К упрощению сколемовых функций в булевых формулах с кванторами - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
980 144

Репозиториев:
30

Авторов:
596 024

расширенный поиск

К упрощению сколемовых функций в булевых формулах с кванторами

Шатилов, Никита Петрович, Громов, Максим Леонидович

Дата публикации: 2012

Дата публикации в реестре: 2020-03-03T19:53:39Z

Ключевые слова:
квантифицированные булевы формулы, сколемовые функции

Тип: статьи в журналах

Источник: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 321-322

Связанные документы (рекомендация CORE)