Author books / Книги автора Anupam Das (editor) Sara Negri (editor) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Anupam Das (editor) Sara Negri (editor)

book Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

pdf

Author: Anupam Das (editor) Sara Negri (editor)
Language: English
Year: 2021

00

12.02.2024

0

0