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: Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022, CEUR Workshop Proceedings.
Faculty/Chair:
Author:
 ;  ;  ;  ; 
Title of the compilation:
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022
Conference:
PAAR’22: 8th Workshop on Practical Aspects of Automated Reasoning ; Haifa, Israel
Publisher Information:
Year of publication:
2022
Pages:
Language:
English
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
URI:
Activation date:
September 16, 2022

Question on publication

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