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

ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук Відібрані Формуляр Опис документа
Сайт бібліотеки Сайт ВНТУ
          Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования [Текст] / А. А. Литичевский, В. Н. Герман, М. К. Мороховец, Н. Н. Щеголева
    // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 169-180.

  УДК 510.662


            

Є складовою частиною документа Кибернетика и системный анализ [Текст] : международный научно-теоретический журнал. – 2010. – Т. 46, № 4.



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