Search
Now showing items 1-2 of 2
Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2
(Сибирский федеральный университет, 2016)
Алгоритмический критерий допустимости правил вывода в модальной логике К4+bw2
(Сибирский федеральный университет, 2017)