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