Automated Deduction – CADE 29 - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Automated Deduction – CADE 29сборник

Год издания: 2023
Серия: Springer Lecture Notes in Computer Science
Том: 14132
Издательство: Springer Nature
Местоположение издательства: Switzerland
ISBN: 978-3-031-38498-1
Добавил в систему: Петрухин Ярослав Игоревич

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

- 2023 A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Indrzejczak Andrzej, Petrukhin Yaroslav
- в сборнике Automated Deduction – CADE 29, серия Springer Lecture Notes in Computer Science, издательство Springer Nature (Switzerland), том 14132, с. 325-343 DOI