Publikacje

Conference: International Conference on Theorem Proving with Analytic Tableaux and Related Methods

2021

• 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 września 2021 - 9 września 2021. Zobacz w PBN