ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Дается обзор классических и недавно полученных, в том числе докладчиком, результатов, касающихся вычислительной сложности модальных логик с градуированными модальностями.