Aktiviteter pr. år
Aktiviteter
- 3 resultater
Søgeresultater
-
Ph.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From) (Begivenhed)
Braüner, T. (Medlem)
21 apr. 2023Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
Tableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur) (Begivenhed)
Braüner, T. (Medlem)
31 okt. 2013Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
Ph.d. bedømmelsesudvalg (Ekstern organisation)
Braüner, T. (Formand)
31 okt. 2013Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg