Cubic interpretation of resolution principle for propositional calculas
Вантажиться...
Дата
Автори
Науковий керівник
Редактор
Інші учасники
Відповідальний
ORCID
Назва журналу
Номер ISSN
Назва тому
DOI
Альтернативна назва
Кубическая интерпретация принципа резолюций для исчисления высказываний
Кубічна інтерпретація принципу резолюцій для числення висловлювань
Кубічна інтерпретація принципу резолюцій для числення висловлювань
Анотація
Interpretation of resolution principle which is able to realize the resolution procedure for any formula of propositional calculas during finite time and with the possibility of parallel computing are considered
Рассматривается интерпретация принципа резолюций, которая позволяет реализовать разрешающую процедуру для любой формулы исчисления высказываний за конечное время и с возможностью параллельной обработки
Розглядається інтерпретація принципу резолюцій, яка дозволяє реалізувати дозволяючу процедуру для будь-якої формули числення висловлювань за обмежений час і з можливістю паралельної обробки
Рассматривается интерпретация принципа резолюций, которая позволяет реализовать разрешающую процедуру для любой формулы исчисления высказываний за конечное время и с возможностью параллельной обработки
Розглядається інтерпретація принципу резолюцій, яка дозволяє реалізувати дозволяючу процедуру для будь-якої формули числення висловлювань за обмежений час і з можливістю паралельної обробки
Опис
Ключові слова
artificial intelligence , propositional calculas , boolean algebra , resolution principle , parallel processing , принцип резолюцій , штучний інтелект , числення висловлювань , булева алгебра , паралельна обробка , исчисление высказываний , принцип резолюций , параллельная обработка , булева алгебра , искусственный интеллект
УДК
Тип документа
Мова
Є частиною
ISSN
Посилання на публікацію
Серія, номер
ISBN
ББК
Інші ідентифікатори
Пов’язані матеріали
Спонсорська підтримка
Правовласник
Бібліографічний опис
Semerenko V. P. Cubic interpretation of resolution principle for propositional calculas [Text] / V. P. Semerenko // International Journal on Information Theories & Applications. – 1996. - Vol. 4, No. 3. – P. 25–33.