Електронний каталог

          Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования [Текст] / А. А. Летичевский, В. Н. Герман, М. К. Мороховец, Н. Н. Щеголева
    // Кибернетика и системный анализ. – 2010. – июль-август (№4). – С. 169-180.


ББК 32.973.2-018

            




Теми документа






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