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
@proceedings{cade-2014arqnl, title = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014}, year = {2015}, url = {http://www.easychair.org/publications/volume/ARQNL2014}, researchr = {https://researchr.org/publication/cade-2014arqnl}, cites = {0}, citedby = {0}, booktitle = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014}, conference = {cade}, editor = {Christoph Benzmüller and Jens Otten}, volume = {33}, series = {EPiC Series in Computing}, publisher = {EasyChair}, }