Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
|
|
Creator |
Летичевский, А.А.
Герман, В.Н. Мороховец, М.К. Щеголева, Н.Н. |
|
Subject |
Программно-технические комплексы
|
|
Description |
Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1.
Software 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. |
|
Date |
2013-06-10T19:01:56Z
2013-06-10T19:01:56Z 2010 |
|
Type |
Article
|
|
Identifier |
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45253 510.66:004.272.2 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|