Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования

Летичевский, А. А.; Герман, В. Н.; Мороховец, М. К.; Щеголева, Н. Н.


	Наукова періодика України		Кібернетика та системний аналіз

Летичевский А. А.
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / А. А. Летичевский, В. Н. Герман, М. К. Мороховец, Н. Н. Щеголева // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 169-180. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_16

Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та надано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1.

Повний текст PDF - 111.055 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Бібліографічний опис для цитування:

Летичевский А. А. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / А. А. Летичевский, В. Н. Герман, М. К. Мороховец, Н. Н. Щеголева // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 169-180. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_16.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Летичевський Олександр Олександрович (1960–) (фізико-математичні науки)

Мороховець Марина Костянтинівна (фізико-математичні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача