CEUR Workshop Proceedings




Faculty/Professorship: AI Systems Engineering 
Editors: Benzmüller, Christoph  ; Otten, Jens
ISSN: 1613-0073
Corporate Body: CEUR-WS.org
Publisher Information: Aachen : RWTH Aachen
Year of publication: 2023
Issue: 3326, 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)
Pages: 108
Language(s): English
URL: https://ceur-ws.org/Vol-3326/
URN: urn:nbn:de:0074-3326-4
Type: Journal
URI: https://fis.uni-bamberg.de/handle/uniba/57614
Release Date: 13. January 2023