Вы здесь

Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме I

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Стр.: 
С.22-28
Библиография: 
Библиогр.: c.28
Номер: 
4
Карточка: 

Б4.5.

Крывый С. Л., Чеботарев А. Н..

Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме I// Кибернетика и системный анализ-2005, №4.-С.22-28
Библиогр.: c.28

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