|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
11th International Joint Conference on Automated Reasoning, IJCAR 2022группа конференции
- Конференции:
- Международная Конференция : 11th International Joint Conference on Automated Reasoning, IJCAR 2022 , Хайфа, Israel , 8-10 августа 2022
- Международная Конференция : 10th International Joint Conference on Automated Reasoning, IJCAR 2020 , Париж, France , 29 июня - 6 июля 2020
- Международная Конференция : 9th International Joint Conference on Automated Reasoning (IJCAR 2018) , Оксфорд, United Kingdom , 14-17 июля 2018