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     doi:10.1007/978-3-319-21401-6  
© Springer International Publishing Switzerland