Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

множество конъюнктов

Документи:

Крывый, С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. I [Текст] / С. Л. Крывый, А. Н. Чеботарев // Кибернетика и системный анализ. – 2005. – № 4. – 22-28.
Крывый, С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. II [Текст] / С. Л. Крывый, А. Н. Чеботарев // Кибернетика и системный анализ. – 2005. – № 6. – 11-18.