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

Скорочена інформація про документ
dc.contributor.authorЛетичевский, А.А.
dc.contributor.authorГерман, В.Н.
dc.contributor.authorМороховец, М.К.
dc.contributor.authorЩеголева, Н.Н.
dc.date.accessioned2013-06-10T19:01:56Z
dc.date.available2013-06-10T19:01:56Z
dc.date.issued2010
dc.description.abstractОписано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1.uk_UA
dc.description.abstractSoftware for parallel inference search in propositional calculus is described and used to obtain experimental results. The software is based on the Algebraic Programming System APS and the cluster complex SCIT-1.uk_UA
dc.identifier.citationПараллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос.uk_UA
dc.identifier.issn0023-1274
dc.identifier.udc510.66:004.272.2
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/45253
dc.language.isoruuk_UA
dc.publisherІнститут кібернетики ім. В.М. Глушкова НАН Україниuk_UA
dc.relation.ispartofКибернетика и системный анализ
dc.statuspublished earlieruk_UA
dc.subjectПрограммно-технические комплексыuk_UA
dc.titleПараллельный поиск вывода в логическом исчислении на основе системы алгебраического программированияuk_UA
dc.title.alternativeПаралельний пошук виводу в логічному численні на основі системи алгебричного програмуванняuk_UA
dc.title.alternativeParallel inference search in a logical calculus on the base of the Algebraic Programming Systemuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
15-Letichevsky.pdf
Розмір:
108.45 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Кибернетика и системный анализ, 2010, № 4