hide
Title:
Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016)
affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)
Abbreviation
:
ARQNL 2016
Other
:
IJCAR 2016
Source Genre:
Proceedings
Creator(s):
Benzmüller, Christoph1, Editor
Otten, Jens1, Editor
Affiliations:
1
External Organizations, ou_persistent22
Publ. Info:
Aachen : CEUR-WS.org
Pages:
15 p.
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
36 - 50
Identifier:
URN: urn:nbn:de:0074-1770-7