Proceedings of the 25 International Conference, Berlin, Germany
Amy Felty and Aart Middeldorp (eds.)
Lecture Notes in Artificial Intelligence 9195, 2015

BibTeX

@proceedings{CADE-25, editor = "Amy Felty and Aart Middeldorp", title = "Proceedings of the 25th International Conference on Automated Deduction", series = "Lecture Notes in Artificial Intelligence", volume = 9195, publisher = "Springer-Verlag", year = 2015, doi = "10.1007/978-3-319-21401-6" }