Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1. Software for parallel inference search in propositional calcu...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2010 |
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/45253 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862723330250899456 |
|---|---|
| author | Летичевский, А.А. Герман, В.Н. Мороховец, М.К. Щеголева, Н.Н. |
| author_facet | Летичевский, А.А. Герман, В.Н. Мороховец, М.К. Щеголева, Н.Н. |
| citation_txt | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-07T18:40:35Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-45253 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T18:40:35Z |
| publishDate | 2010 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Летичевский, А.А. Герман, В.Н. Мороховец, М.К. Щеголева, Н.Н. 2013-06-10T19:01:56Z 2013-06-10T19:01:56Z 2010 Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45253 510.66:004.272.2 Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Программно-технические комплексы Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования Паралельний пошук виводу в логічному численні на основі системи алгебричного програмування Parallel inference search in a logical calculus on the base of the Algebraic Programming System Article published earlier |
| spellingShingle | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования Летичевский, А.А. Герман, В.Н. Мороховец, М.К. Щеголева, Н.Н. Программно-технические комплексы |
| title | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования |
| title_alt | Паралельний пошук виводу в логічному численні на основі системи алгебричного програмування Parallel inference search in a logical calculus on the base of the Algebraic Programming System |
| title_full | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования |
| title_fullStr | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования |
| title_full_unstemmed | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования |
| title_short | Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования |
| title_sort | параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования |
| topic | Программно-технические комплексы |
| topic_facet | Программно-технические комплексы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/45253 |
| work_keys_str_mv | AT letičevskiiaa parallelʹnyipoiskvyvodavlogičeskomisčisleniinaosnovesistemyalgebraičeskogoprogrammirovaniâ AT germanvn parallelʹnyipoiskvyvodavlogičeskomisčisleniinaosnovesistemyalgebraičeskogoprogrammirovaniâ AT morohovecmk parallelʹnyipoiskvyvodavlogičeskomisčisleniinaosnovesistemyalgebraičeskogoprogrammirovaniâ AT ŝegolevann parallelʹnyipoiskvyvodavlogičeskomisčisleniinaosnovesistemyalgebraičeskogoprogrammirovaniâ AT letičevskiiaa paralelʹniipošukvivoduvlogíčnomučislennínaosnovísistemialgebričnogoprogramuvannâ AT germanvn paralelʹniipošukvivoduvlogíčnomučislennínaosnovísistemialgebričnogoprogramuvannâ AT morohovecmk paralelʹniipošukvivoduvlogíčnomučislennínaosnovísistemialgebričnogoprogramuvannâ AT ŝegolevann paralelʹniipošukvivoduvlogíčnomučislennínaosnovísistemialgebričnogoprogramuvannâ AT letičevskiiaa parallelinferencesearchinalogicalcalculusonthebaseofthealgebraicprogrammingsystem AT germanvn parallelinferencesearchinalogicalcalculusonthebaseofthealgebraicprogrammingsystem AT morohovecmk parallelinferencesearchinalogicalcalculusonthebaseofthealgebraicprogrammingsystem AT ŝegolevann parallelinferencesearchinalogicalcalculusonthebaseofthealgebraicprogrammingsystem |