Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Летичевский, А.А. | |
| dc.contributor.author | Герман, В.Н. | |
| dc.contributor.author | Мороховец, М.К. | |
| dc.contributor.author | Щеголева, Н.Н. | |
| dc.date.accessioned | 2013-06-10T19:01:56Z | |
| dc.date.available | 2013-06-10T19:01:56Z | |
| dc.date.issued | 2010 | |
| dc.identifier.citation | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос. | uk_UA |
| dc.identifier.issn | 0023-1274 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/45253 | |
| dc.description.abstract | Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1. | uk_UA |
| dc.description.abstract | 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. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
| dc.relation.ispartof | Кибернетика и системный анализ | |
| dc.subject | Программно-технические комплексы | uk_UA |
| dc.title | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования | uk_UA |
| dc.title.alternative | Паралельний пошук виводу в логічному численні на основі системи алгебричного програмування | uk_UA |
| dc.title.alternative | Parallel inference search in a logical calculus on the base of the Algebraic Programming System | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 510.66:004.272.2 |
