Automated Reasoning in Non-classical Logics in the TPTP World. | 0 | 0.34 | 2022 |
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. | 0 | 0.34 | 2021 |
TOOLympics 2019: An Overview of Competitions in Formal Methods. | 0 | 0.34 | 2019 |
Automated Theorem Proving using the TPTP Process Instruction Language | 0 | 0.34 | 2014 |
Combining Proofs to form Different Proofs. | 0 | 0.34 | 2011 |