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