News --- 25th International Conference on Automated Deduction (CADE-25) (bibtex)
by Christoph Benzmüller, Alexander Steen, Max Wisniewski
Reference:
News --- 25th International Conference on Automated Deduction (CADE-25) (Christoph Benzmüller, Alexander Steen, Max Wisniewski), In Künstliche Intelligenz, volume 29, issue 4, pp. 451-452, 2015. (Non-reviewed conference report)
Bibtex Entry:
@article{J34,
  Author =	 {Christoph Benzm{\"u}ller and Alexander Steen and Max
                  Wisniewski},
  Title =	 {News --- 25th International Conference on Automated
                  Deduction (CADE-25)},
  Journal =	 {K\"unstliche Intelligenz},
  Volume =	 29,
  Issue =	 4,
  pages =	 {451-452},
  doi =		 {10.1007/s13218-015-0402-z},
  Year =	 2015,
  note =	 {Non-reviewed conference report},
}
Powered by bibtexbrowser