Announcement_1

Teaching Assistant for AISE-Auto – Automation of Logical Reasoning offered by Prof. Dr. Christoph Benzmüller during summer semester 2026.