Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / Летичевский А. А., Герман В. Н., Мороховец М. К., Щеголева Н. Н. (2010)
web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000468201
Cybernetics and Systems Analysis   А - 2019 /  Issue (2010, Т. 46, № 4)
Летичевский А. А., Герман В. Н., Мороховец М. К., Щеголева Н. Н.
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та надано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1.
Бібліографічний опис:
Летичевский А. А., Герман В. Н., Мороховец М. К., Щеголева Н. Н. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования. Кибернетика и системный анализ. 2010. Т. 46, № 4. С. 169-180. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000468201 |  Cybernetics and Systems Analysis / Issue (2010, 46 (4))
 Transliteration
Letichevskij A. A., German V. N., Morokhovets M. K., Shchegoleva N. N.
Parallelnyj poisk vyvoda v logicheskom ischislenii na osnove sistemy algebraicheskogo programmirovanija
Cite:
Letichevskij, A. A., German, V. N., Morokhovets, M. K., Shchegoleva, N. N. (2010). Parallelnyj poisk vyvoda v logicheskom ischislenii na osnove sistemy algebraicheskogo programmirovanija. Cybernetics and Systems Analysis, 46 (4), 169-180 http://jnas.nbuv.gov.ua/article/UJRN-0000468201 [In Russian]. | |
|
|
PDF