Automated Deduction (CADE-25)

Amy Felty and Aart Middeldorp (eds.)

Proceedings of the 25th International Conference, Berlin, Lecture Notes in Artificial Intelligence 9195, 2015.


   doi:10.1007/978-3-319-21401-6  |  © Springer International Publishing Switzerland


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"
Nach oben scrollen