Вы здесь
Grebeneva S. O.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics | 2006 | Schreiner P. A., Shilov N. V., Grebeneva S. O. | Computer Science | Bulletin of the Novosibirsk Computing Center | 02.03.2007 |