You are not logged in |
Back to the list of the institutes
Publications
Conference: International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Number of publications: 12021
- Zsolt Zombori, Adrián Csiszárik, Cezary Kaliszyk , Josef Urban, Henryk Michalewski , Towards Finding Longer Proofs, 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham, the United Kingdom of Great Britain and Northern Ireland, 6 September 2021 - 9 September 2021. See in PBN
