ARQNL 2018. Automated Reasoning in Quantified Non-Classical Logics (bibtex)
by Unknown
Reference:
ARQNL 2018. Automated Reasoning in Quantified Non-Classical Logics, (Christoph Benzüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 2095, 2018. (event-website)
Bibtex Entry:
@proceedings{E18,
  Comment =	 {<a
                  href="http://www.iltp.de/ARQNL-2016/">event-website</a>},
  Editor =	 {Christoph Benz{\"u}ller and Jens Otten},
  Issn =	 {1613-0073},
  Publisher =	 {CEUR Workshop Proceedings, http://ceur-ws.org},
  Title =	 {ARQNL 2018. Automated Reasoning in Quantified
                  Non-Classical Logics},
  Url =		 {http://ceur-ws.org/Vol-2095/},
  Volume =	 2095,
  Year =	 2018,
}
Powered by bibtexbrowser