Automated Reasoning, 11th International Conference, IJCAR 2022 - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Automated Reasoning, 11th International Conference, IJCAR 2022сборник

Год издания: 2022
Серия: Lecture Notes in Computer Science
Том: 13385
Издательство: Springer International Publishing AG
Местоположение издательства: Cham, Switzerland
Добавил в систему: Кузнецов Степан Львович

Статьи, опубликованные в сборнике

- 2022 Non-associative, Non-commutative Multi-modal Linear Logic
- Blaisdell Eben, Kanovich Max, Kuznetsov Stepan L., Pimentel Elaine, Scedrov Andre
- в сборнике Automated Reasoning, 11th International Conference, IJCAR 2022, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 13385, с. 449-467 DOI