Вид документа : Продолжающееся издание Шифр издания : Автор(ы) : Хомонов Г. А. Заглавие : Параллелизм вывода в задачах логики предикатов первого порядка Место публикации : Теорет. и прикл. вопр. соврем. информ. технологий: материалы Х Всерос. науч.-техн. конф. Улан-Удэ, 20-26 июля 2009 г./ ВСГТУ. - Улан-Удэ, 2009. - Ч. 2. - С. 358-363. Предметные рубрики: Логические выводы-- Проектирование