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