SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Schreiner P. A.

Grebeneva S. O.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2006

Ключевые слова:

суперинтуиционистская

дерево вычислений

автоматический

выполнимость

эффективность

алгоритм

Стр.:

P.105-117

Выпуск:

24

Библиография:

Bibliogr.: p.115-116

Серия:

Computer Science

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.1, Б2.23.

Schreiner P. A., Shilov N. V., Grebeneva S. O..

SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics// Bulletin of the Novosibirsk Computing Center-2006.-P.105-117-(Computer Science, Вып.24).
Bibliogr.: p.115-116

Таблица в старой библиотеке:

PAP30 969