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 Proof-Theory: With an Application to False-Belief Tests
Braüner, T.
(Oplægsholder)
Programmering, logik og intelligente systemer
Institut for Mennesker og Teknologi
Aktivitet
:
Tale eller præsentation
›
Foredrag og mundtlige bidrag
Periode
8 maj 2017
→
12 maj 2017
Begivenhedstitel
XVIII Brazilian Logic Conference (EBL 2017)
Begivenhedstype
Konference
Relateret indhold
Projekter
Hybrid-Logical Proofs at Work in Cognitive Psychology
Projekter
:
Projekt
›
Forskning
X