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