News — 25th International Conference on Automated Deduction (CADE-25). Benzmüller, C., Steen, A., & Wisniewski, M. Technical Report 2015. Künstliche Intelligenz 29(4):451-452; non-reviewed conference report
doi  bibtex   
@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},
}

Downloads: 0