Automated Reasoning – Online Course

Starting January 3, the lectures on Monday and Wednesday will be given via Zoom. The additional online lectures on Tuesdays are stopped.


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2022-01-02.
Imprint | Data Protection