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