Automated Reasoning in Quantified Non-Classical Logics: 2nd international workshop, ARQNL 2016, Coimbra, Portugal, July 1st, 2016 : proceedings

Saved in:

Bibliographic Details

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