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
![News — 25th International Conference on Automated Deduction (CADE-25) [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper doi bibtex
Paper doi bibtex @techreport{J30,
url = {http://christoph-benzmueller.de/papers/J30.pdf},
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
{"_id":"PKsgQv82xQzzKJdo2","bibbaseid":"benzmller-steen-wisniewski-news25thinternationalconferenceonautomateddeductioncade25-2015","author_short":["Benzmüller, C.","Steen, A.","Wisniewski, M."],"bibdata":{"bibtype":"techreport","type":"techreport","url":"http://christoph-benzmueller.de/papers/J30.pdf","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Steen"],"suffixes":[]},{"firstnames":["Max"],"propositions":[],"lastnames":["Wisniewski"],"suffixes":[]}],"title":"News — 25th International Conference on Automated Deduction (CADE-25)","doi":"10.1007/s13218-015-0402-z","year":"2015","note":"Künstliche Intelligenz 29(4):451-452; non-reviewed conference report","bibtex":"@techreport{J30,\n url = {http://christoph-benzmueller.de/papers/J30.pdf},\n Author =\t {Christoph Benzm{\\\"u}ller and Alexander Steen and Max\n Wisniewski},\n Title =\t {News --- 25th International Conference on Automated\n Deduction (CADE-25)},\n doi =\t\t {10.1007/s13218-015-0402-z},\n Year =\t 2015,\n note =\t {K\\\"unstliche Intelligenz 29(4):451-452; non-reviewed\n conference report},\n}\n\n","author_short":["Benzmüller, C.","Steen, A.","Wisniewski, M."],"key":"J30","id":"J30","bibbaseid":"benzmller-steen-wisniewski-news25thinternationalconferenceonautomateddeductioncade25-2015","role":"author","urls":{"Paper":"http://christoph-benzmueller.de/papers/J30.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["news","25th","international","conference","automated","deduction","cade","benzmüller","steen","wisniewski"],"title":"News — 25th International Conference on Automated Deduction (CADE-25)","year":2015}