Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014. Benzmüller, C. & Otten, J., editors Volume 33of EPiC Series in ComputingEasyChair. 2015.
Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014 [link]Paper  bibtex   
@proceedings{DBLP:conf/cade/2014arqnl,
  editor    = {Christoph Benzm{\"{u}}ller and
               Jens Otten},
  title     = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR
               2014, Vienna, Austria, July 23, 2014},
  series    = {EPiC Series in Computing},
  volume    = {33},
  publisher = {EasyChair},
  year      = {2015},
  url       = {https://easychair.org/publications/volume/ARQNL\_2014},
  timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/2014arqnl.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0