Крывый, С.     Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. І. [Текст] / С. Крывый // Кибернетика и системный анализ. — 2005. — №4. — С. 22-28.

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