Принадлежность классу p задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики

Συγγραφείς: КОСОВСКИЙ НИКОЛАЙ КИРИЛЛОВИЧ, КОСОВСКАЯ ТАТЬЯНА МАТВЕЕВНА

Θεματικοί όροι: PROPOSITIONAL FORMULA,SATISFABILITY OF PROPOSITIONAL FORMULA,CLASS P

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/prinadlezhnost-klassu-p-zadachi-proverki-vypolnimosti-propozitsionalnoy-formuly-s-zadannym-znacheniem-eyo-skobochnoy-harakteristiki
http://cyberleninka.ru/article_covers/16506189.png

Принадлежность классу p задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики

Πηγή: Вестник Санкт-Петербургского университета. Серия 1. Математика. Механика. Астрономия.

Θεματικοί όροι: PROPOSITIONAL FORMULA,SATISFABILITY OF PROPOSITIONAL FORMULA,CLASS P

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/16506189.png
http://cyberleninka.ru/article/n/prinadlezhnost-klassu-p-zadachi-proverki-vypolnimosti-propozitsionalnoy-formuly-s-zadannym-znacheniem-eyo-skobochnoy-harakteristiki