Вы здесь

SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2006
Стр.: 
P.105-117
Выпуск: 
24
Библиография: 
Bibliogr.: p.115-116
Серия: 
Карточка: 

Б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).
Bibliogr.: p.115-116

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