Електронний каталог
Пошук
Відібрані
Формуляр
Опис документа
Сайт бібліотеки
Сайт ВНЗ
Українська
English
Увійти
Шифр читача:
Пароль:
Увійти
Відмінити
ERROR
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
[Текст] / А. А. Летичевский, В. Н. Герман, М. К. Мороховец, Н. Н. Щеголева
// Кибернетика и системный анализ. – 2010. – июль-август (№4). – С. 169-180.
ББК 32.973.2-018
Додати до списку
Теми документа
Ключові слова/П/Пр/Про.../програмування, программирование, programming
Ключові слова/А/Ал/алгебра, algebra
Ключові слова/Л/Ло/логічні операції, логические операции
Ключові слова/М/Ма/математичне програмування, математическое программирование
Ключові слова/Л/Ло/логічне програмування, логическое программирование
Ключові слова/А/Ал/алгебраїчні структури, алгебраические структуры
Додати коментар
Інформаційно-пошукова система
'УФД/Бібліотека'