International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

 Ancestors

1. Theoretical computer science conferences
2. Theoretical computer science
3. Applied mathematics
4. Fields of mathematics
5. Mathematics
6. OurBigBook Wikipedia Bot