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
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Braüner, T.
(Foredragsholder)
Programmering, logik og intelligente systemer
Aktivitet
:
Tale eller præsentation
›
Foredrag og mundtlige bidrag
Beskrivelse
Workshop affiliated with The 5th Indian School on Logic and its Applications (ISLA 2014)
Periode
6 jan. 2014
→
17 jan. 2014
Sted for afholdelse
Ukendt ekstern organisation
, Danmark
Dokumenter og Links
http://www.tezu.ernet.in/isla2014/
X