TABLEAUX 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
| Type | Conference |
|---|---|
| Title | TABLEAUX 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods |
| Event date | 21 to end of 24 Sep 2015 |
| Location | Wroclaw, Poland |