Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Roskilde Universitets forskningsportal Forside
Dansk
English
Forside
Profiler
Forskningsenheder
Publikationer
Projekter
Aktiviteter
Presse/medier
Forskningsdatasæt
Priser
Søg efter ekspertise, navn eller tilknytning
Tableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur) (Begivenhed)
Braüner, T.
(Medlem)
Institut for Mennesker og Teknologi
Programmering, logik og intelligente systemer
Aktivitet
:
Medlemsskab
›
Medlemskab af bedømmelsesudvalg
Periode
31 okt. 2013
Begivenhedstitel
Tableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur)
Begivenhedstype
Andet
Placering
Roskilde , Danmark
Vis på kort
Grad af anerkendelse
International
X