Tableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur) (Begivenhed)

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Periode31 okt. 2013
BegivenhedstitelTableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur)
BegivenhedstypeAndet
PlaceringRoskilde , DanmarkVis på kort
Grad af anerkendelseInternational