Automated Deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings Pientka, Brigitte Heftet / 2023 / Engelsk
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday Lutz Carsten Heftet / 2019 / Engelsk
