Two new Book Volumes on “Automated Reasoning” by Benzmüller

Two new open access book volumes on “Automated Reasoning” that were co-edited by Prof. Dr. Benzmüller just appeared in the Springer series “Lecture Notes in Artificial Intelligence”. See https://doi.org/10.1007/978-3-031-63498-7 and https://doi.org/10.1007/978-3-031-63501-4