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
Programmering, logik og intelligente systemer
Roskilde Universitet
Institut for Mennesker og Teknologi
Vis
Netværk
Profiler
(29)
Publikationer
(439)
Projekter
(33)
Aktiviteter
(387)
Presse/medier
(26)
Priser
(1)
Forskningsdatasæt
(1)
Publikationer
Publikationer pr. år
2004
2006
2009
2011
2012
2013
2014
2015
2018
2020
2023
174
Konferencebidrag i proceedings
90
Tidsskriftartikel
32
Antologi
30
Bidrag til bog/antologi
113
Mere
29
Konferenceartikel
23
Paper
11
Ph.d.-afhandling
9
Rapport
8
Leder
6
Encyclopædiartikel
6
Konferenceabstrakt til konference
4
Udgivelser på nettet - Net-publikation
3
Kompendium/lecture notes
2
Forord/efterskrift
2
Poster
2
Preprint
2
Working paper
1
Bog
1
Doktordisputats
1
Konferenceabstrakt i proceedings
1
Bidrag til avis - Avisartikel
1
Anmeldelse
1
Review
Publikationer pr. år
Publikationer pr. år
1 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filter
Bog
Søgeresultater
2011
Hybrid Logic and its Proof-Theory
Braüner, T.
,
2011
,
Springer Science+Business Media
.
231 s.
(Applied Logic Series, Bind 37).
Publikation
:
Bog/antologi/afhandling/rapport
›
Bog
›
Forskning
›
peer review