Automated Deduction - CADE 30: Proceedings of the 30^th International Conference on Automated Deduction

“Automated Deduction - CADE 30: Proceedings of the 30^th International Conference on Automated Deduction” edited by Clark Barrett and Uwe Waldmann, Springer. July 2025. Stuttgart, Germany.

BibTeX entry:

@proceedings{BW25,
   editor = {Clark Barrett and Uwe Waldmann},
   title = {Automated Deduction - CADE 30: Proceedings of the {\it
	30^{th}} International Conference on Automated Deduction},
   series = {Lecture Notes in Artificial Intelligence},
   volume = {15943},
   publisher = {Springer},
   address = {Berlin, Heidelberg},
   month = jul,
   year = {2025},
   isbn = {978-3-031-99983-3},
   doi = {10.1007/978-3-031-99984-0},
   note = {Stuttgart, Germany},
   url = {https://dl.acm.org/doi/proceedings/10.1007/978-3-031-99984-0}
}

(This webpage was created with bibtex2web.)