cl-banner

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

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