Seminar “Selected Topics in Logic and Verification”

Aus International Center for Computational Logic

Version vom 26. Februar 2025, 15:37 Uhr von Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesungsreihe |Title=Seminar “Selected Topics in Logic and Verification” |Description=This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science). The seminar addresses students that have profound knowledge in theoretical computer science and logics. }}“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

Seminar “Selected Topics in Logic and Verification”

Vorlesungsreihe

This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science). The seminar addresses students that have profound knowledge in theoretical computer science and logics.

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Seminar_“Selected_Topics_in_Logic_and_Verification”&oldid=41490“

Vorlesungsreihe