Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024), Nancy, France, July 1, 2024

University of Bamberg

FIS

English
Deutsch

Log In

Home
Publications
Research Data
Projects
People
Institutions
Awards
My FIS
Help

Home
Research Outputs
Publications
Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024), Nancy, France, July 1, 2024

Details

Options

Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024), Nancy, France, July 1, 2024

Benzmüller, Christoph; Otten, Jens; Ramanayake, Revantha (Hrsg.) (2024): Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024), Nancy, France, July 1, 2024,.