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

Research output: Book/Report › Book › Academic › peer-review

Original language	English
Publisher	CEUR Workshop Proceedings (CEUR-WS.org)
Publication status	Published - 1-Jul-2024

Access to Document

@book{2c01e1db9e3f4a41b48c12309f44bcf3,

title = "Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024)",

editor = "Christoph Benzm{\"u}ller and Jens Otten and Revantha Ramanayake",

year = "2024",

month = jul,

day = "1",

language = "English",

publisher = "CEUR Workshop Proceedings (CEUR-WS.org)",

}

TY - BOOK

T1 - Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024)

A2 - Benzmüller, Christoph

A2 - Otten, Jens

A2 - Ramanayake, Revantha

PY - 2024/7/1

Y1 - 2024/7/1

M3 - Book

BT - Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024)

PB - CEUR Workshop Proceedings (CEUR-WS.org)

ER -