ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics. Benzmüller, C. & Otten, J., editors Volume 33of EPiC Series in ComputingEasyChair. 2015.
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics [link]Paper  bibtex   1 download  
@proceedings{E14,
  Comment =	 {<a href="http://www.iltp.de/ARQNL-2014/">event-website</a>},
  Editor =	 {Christoph Benzm{\"u}ller and Jens Otten},
  issn =	 {2398-7340},
  Pages =	 {1-86},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {ARQNL 2014. Automated Reasoning in Quantified
                  Non-Classical Logics},
  Url =
                  {https://easychair.org/publications/volume/ARQNL_2014/},
  Volume =	 33,
  Year =	 2015,
}

Downloads: 1