|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Automated Reasoning, 10th International Conference, IJCAR 2020сборник
- Год издания: 2020
- Серия: Lecture Notes in Computer Science
- Том: 12166
- Место издания: Springer Cham
- Добавил в систему: Кузнецов Степан Львович
Статьи, опубликованные в сборнике
-
- 2020 Soft subexponentials and multiplexing
- Kanovich Max, Kuznetsov Stepan, Nigam Vivek, Scedrov Andre
- в сборнике Automated Reasoning, 10th International Conference, IJCAR 2020, серия Lecture Notes in Computer Science, место издания Springer Cham, том 12166, с. 500-517 DOI