Zwei neue Buchbände zu "Automated Reasoning"

In der Springer-Reihe "Lecture Notes in Artificial Intelligence" sind soeben zwei neue Open-Access-Bände zum Thema "Automated Reasoning" erschienen, die von Prof. Dr. Benzmüller mit herausgegeben wurden. Siehe https://doi.org/10.1007/978-3-031-63498-7 und https://doi.org/10.1007/978-3-031-63501-4