Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук Відібрані Формуляр Опис документа
Сайт бібліотеки Сайт ВНТУ
          Литвиненко, А. Е.
    Определение класса истинности логических формул методом направленного перебора [Текст] / А. Е. Литвиненко
    // Кибернетика и системный анализ. – 2000. – № 5. – 23-31.

  УДК 519.816


            



Теми документа
Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'