TABLEAUX 2020
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | TABLEAUX 2020 |
| Title | International Conference on Theorem Proving with Analytic Tableaux and Related Methods |
| Start date | 6/29/2020 |
| End date | 7/5/2020 |
| Homepage | http://www.tableaux-ar.org/next.html |
| ... | ... |