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), Technical report, , 2015. (Künstliche Intelligenz 29(4):451-452; non-reviewed conference report)
Bibtex Entry:
@techreport{J34,
  Author =	 {Christoph Benzm{\"u}ller and Alexander Steen and Max
                  Wisniewski},
  Title =	 {News --- 25th International Conference on Automated
                  Deduction (CADE-25)},
  doi =		 {10.1007/s13218-015-0402-z},
  Year =	 2015,
  note =	 {K\"unstliche Intelligenz 29(4):451-452; non-reviewed conference report},
}
Powered by bibtexbrowser