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