Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
формула
формула логическая
Документи:
Литвиненко, А. Е.
Определение класса истинности логических формул методом направленного перебора [Текст] / А. Е. Литвиненко // Кибернетика и системный анализ. – 2000. – № 5. – 23-31.
Інформаційно-пошукова система
'УФД/Бібліотека'