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
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Braüner, T.
(Foredragsholder)
Programmering, logik og intelligente systemer
Aktivitet
:
Tale eller præsentation
›
Foredrag og mundtlige bidrag
Periode
24 maj 2013
Begivenhedstitel
Modality and Modalities
Begivenhedstype
Konference
Placering
Roskilde, Danmark
Vis på kort