Cubic interpretation of resolution principle for propositional calculas
Автор
Semerenko, V. P.
Семеренко, В. П.
Дата
1996Metadata
Показать полную информациюCollections
- Наукові роботи каф. ОТ [743]
Аннотации
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 Рассматривается интерпретация принципа резолюций, которая позволяет реализовать разрешающую процедуру для любой формулы исчисления высказываний за конечное время и с возможностью параллельной обработки Розглядається інтерпретація принципу резолюцій, яка дозволяє реалізувати дозволяючу процедуру для будь-якої формули числення висловлювань за обмежений час і з можливістю паралельної обробки
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ir.lib.vntu.edu.ua/handle/123456789/11547