International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
E2188464
UNEXPLORED
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is a recurring academic conference focused on theoretical and practical aspects of automated reasoning, particularly tableau-based methods and closely related logical techniques.
All labels observed (1)
| Label | Occurrences |
|---|---|
| International Conference on Automated Reasoning with Analytic Tableaux and Related Methods canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
TABLEAUX
→
hasAbbreviation
→
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
ⓘ