Automated Deduction (CADE-25)
Proceedings of the 25 International Conference, Berlin, Germany
Amy Felty and Aart Middeldorp (eds.)
Lecture Notes in Artificial Intelligence 9195, 2015
BibTeX Entry
@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"
}
© Springer