Christoph Benzmüller, Jens Otten, editors, Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014. Volume 33 of EPiC Series in Computing, EasyChair, 2015. [doi]
Conference: cade2015
No references recorded for this publication.
No citations of this publication recorded.