You are not logged in | Log in

PL /
EN

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

Number of publications: 1

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 September 2021 - 9 September 2021. See in PBN

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper