Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

podľa Anupam Das
5/5
Prvýkrát zverejnené
2021
Vydavatelia
Springer International Publishing AG
Jazyk
English

Knihy

Podobné knihy