ausblenden:
Titel:
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)
Kurztitel
:
ARQNL 2016
Andere
:
IJCAR 2016
Genre der Quelle:
Konferenzband
Urheber:
Benzmüller, Christoph1, Herausgeber
Otten, Jens1, Herausgeber
Affiliations:
1
External Organizations, ou_persistent22
Ort, Verlag, Ausgabe:
Aachen : CEUR-WS.org
Seiten:
15 p.
Band / Heft:
-
Artikelnummer:
-
Start- / Endseite:
36 - 50
Identifikator:
URN: urn:nbn:de:0074-1770-7