Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25--28, 2017. Proceedings (Q2402236)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25--28, 2017. Proceedings |
scientific article |
Statements
Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25--28, 2017. Proceedings (English)
0 references
6 September 2017
0 references