Automated Reasoning in Non-classical Logics in the TPTP World
Steen, Alexander; Fuenmayor, David; Gleißner, Tobias; u. a. (2022): Automated Reasoning in Non-classical Logics in the TPTP World, in: arXiv, doi: 10.48550/ARXIV.2202.09836.
Faculty/Chair:
Author:
 ;  ;  ;  ; 
Publisher Information:
Year of publication:
2022
Pages:
Language:
English
DOI:
Type:
Preprint
URI:
Activation date:
July 14, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/54664