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

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського		Перейти на сайт