|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
31st International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2023Конференция
- Член программного комитета: Кузнецов С.Л.
- Охват: Международная
- Даты проведения: 18-21 сентября 2023
- Место проведения: Прага, Czech Republic
-
Организатор:
Czech Technical University - Веб-сайт: http://tableaux2023.tableaux-ar.org/
-
Описание конференции:
TABLEAUX is the main international conference at which research on all aspects – theoretical foundations, implementation techniques, systems development and applications – of tableaux-based reasoning and related methods are presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organised on an annual basis (sometimes as a part of IJCAR).
- Добавил в систему: Кузнецов Степан Львович