![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Конференция объединила исследователей в теоретических и прикладных разделах неклассических логик, представивших свои новейшие результаты. Представленные доклады охватывали различные области: теорию доказательств, теорию моделей, основания логики и алгоритмические аспекты.