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