ARQNL 2022 : Automated Reasoning in Quantified Non-Classical Logics 2022 : Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) Haifa, Israel, August 11, 2022
Benzmüller, Christoph; Otten, Jens (Hrsg.) (2023): ARQNL 2022 : Automated Reasoning in Quantified Non-Classical Logics 2022 :  Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) Haifa, Israel, August 11, 2022, in.:
Editor:
 ; 
Conference:
4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), August 11, 2022 ; Haifa, Israel
Year of publication:
2023
Pages:
Series ; Volume:
CEUR-WS ; 3326
Language:
English
URL:
URN:
Type:
Conferenceobject
URI:
Activation date:
October 5, 2026

Question on publication

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