Показати скорочену інформацію

Cubic interpretation of resolution principle for propositional calculas

dc.contributor.authorSemerenko, V. P.en
dc.contributor.authorСемеренко, В. П.uk, ru
dc.date.accessioned2016-06-06T09:38:36Z
dc.date.available2016-06-06T09:38:36Z
dc.date.issued1996
dc.identifier.citationSemerenko 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.en
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/11547
dc.description.abstractInterpretation 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 considereden
dc.description.abstractРассматривается интерпретация принципа резолюций, которая позволяет реализовать разрешающую процедуру для любой формулы исчисления высказываний за конечное время и с возможностью параллельной обработкиru
dc.description.abstractРозглядається інтерпретація принципу резолюцій, яка дозволяє реалізувати дозволяючу процедуру для будь-якої формули числення висловлювань за обмежений час і з можливістю паралельної обробкиuk
dc.language.isoen_USen
dc.publisherInstitute for Information Theories and Applicationsen
dc.subjectartificial intelligenceen
dc.subjectpropositional calculasen
dc.subjectboolean algebraen
dc.subjectresolution principleen
dc.subjectparallel processingen
dc.subjectпринцип резолюційuk
dc.subjectштучний інтелектuk
dc.subjectчислення висловлюваньuk
dc.subjectбулева алгебраuk
dc.subjectпаралельна обробкаuk
dc.subjectисчисление высказыванийru
dc.subjectпринцип резолюцийru
dc.subjectпараллельная обработкаru
dc.subjectбулева алгебраru
dc.subjectискусственный интеллектru
dc.titleCubic interpretation of resolution principle for propositional calculasen
dc.title.alternativeКубическая интерпретация принципа резолюций для исчисления высказыванийru
dc.title.alternativeКубічна інтерпретація принципу резолюцій для числення висловлюваньuk
dc.typeArticle
dc.identifier.udc681.3


Файли в цьому документі

Thumbnail
Ім'я:
bolgaria_1996.pdf
Розмір:
119.3Kb
Формат:
PDF
Відкрити

Даний документ включений в наступну(і) колекцію(ї)

Показати скорочену інформацію