Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ...

4/5
首次發表
Aug 31, 2017
发行商
Springer

圖書

類似書籍