Automated Reasoning in Quantified Non-Classical Logics: 3rd international workshop, ARQNL 2018, Oxford, United Kingdom, July 18th, 2018 : proceedings

Bibliographic Details

Authors and Corporations:	Benzmüller, Christoph (Editor), Otten, Jens (Editor), ARQNL Oxford (Author)
Other Authors:	Benzmüller, Christoph [Editor] • Otten, Jens [Editor]
Type of Resource:	E-Book Conference Proceedings
Language:	English
published:	Aachen, Germany RWTH Aachen [2018]
Series:	CEUR workshop proceedings ; volume 2095
Subjects:	Konferenzschrift
Source:	Verbunddaten SWB Lizenzfreie Online-Ressourcen