Options
CEUR Workshop Proceedings
Benzmüller, Christoph; Otten, Jens (Hrsg.) (2023): CEUR Workshop Proceedings, Aachen: RWTH Aachen.
Editor:
ISSN:
1613-0073
Corporate Body:
CEUR-WS.org
Publisher Information:
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:
Language:
English
Type:
Journal
Activation date:
January 13, 2023
Permalink
https://fis.uni-bamberg.de/handle/uniba/57614