ЖДТУ Бібліотека Електронний каталог
 
Литвиненко А.Е.
Определение класса истинности логических формул методом напрвленного перебора

Вид документа: Стаття періодичного видання
Автор: Литвиненко А.Е. Авторський знак: Л64 Вид автора: персона
Мова: Російська Обсяг: c.23-31
Шифр: 519.816 УДК: 519.816
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

© Житомирський державний технологiчний університет