|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Soft subexponentials and multiplexingдоклад на конференции
- Авторы: Kanovich Max, Kuznetsov Stepan, Nigam Vivek, Scedrov Andre
- Международная Конференция : 10th International Joint Conference on Automated Reasoning, IJCAR 2020
- Даты проведения конференции: 29 июня - 6 июля 2020
- Дата доклада: 2 июля 2020
- Тип доклада: Устный
- Докладчик: Nigam Vivek
- Место проведения: Париж, France
- Добавил в систему: Кузнецов Степан Львович