Tveretina, O.     Transforming DPLL to resolution [Текст] / O. Tveretina, H. Zantema // Прикладная радиоэлектроника : научно-технический журнал. — Х., 2004. — 2. — C. 60-63.

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