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