Cubic interpretation of resolution principle for propositional calculas
Вантажиться...
Дата
Автори
Назва журналу
Номер 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
Опис
Ключові слова
УДК
Тип документа
Мова
Є частиною
ISSN
Бібліографічний опис
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.