ЖДТУ
Бібліотека
Електронний каталог
Паралельный поиск вывода в логическом исчислении на основе системы алгебрического програмирования
Вид документа: Стаття періодичного видання
Автор: Летичевський А.А., Герман В.Н., Мороховец М.К. и др. Авторський знак: Л52 Вид автора: персона
Мова: Російська Обсяг: С.169
Шифр: 510.66+004.272.2 УДК: 510.66+004.272.2
Є складовою частиною документа: Кибернетика и системный анализ
| Карта Сайту © Житомирський державний технологiчний університет |