Automated Reasoning in Non-classical Logics in the TPTP World
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Steen, Alexander; Fuenmayor, David ![]() ![]() |
Publisher Information: | arXiv |
Year of publication: | 2022 |
Pages: | 21 |
Language(s): | English |
DOI: | 10.48550/ARXIV.2202.09836 |
Type: | Preprint |
URI: | https://fis.uni-bamberg.de/handle/uniba/54664 |
Release Date: | 14. July 2022 |

originated at the
University of Bamberg
University of Bamberg