Automated Deduction (CADE-25)
Amy Felty and Aart Middeldorp (eds.)Proceedings of the 25th International Conference, Berlin, 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 (CADE-25)",
series = "Lecture Notes in Artificial Intelligence",
volume = 9195,
publisher = "Springer-Verlag",
year = 2015,
doi = "10.1007/978-3-319-21401-6"
}