ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Семинар проводился в составе программа Logical Perspectives 2021, организованной Математическим Институтом им. В.А. Стеклова РАН. Цель программы - представить панораму современных исследований в логике, включая ее применения в информатике и философии.