Ph.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From) (Begivenhed)

Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

Periode21 apr. 2023
BegivenhedstitelPh.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From)
BegivenhedstypeAndet
PlaceringKgs. Lyngby, DanmarkVis på kort
Grad af anerkendelseInternational