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
(27)
Publikationer
(435)
Projekter
(41)
Aktiviteter
(451)
Presse/medier
(38)
Priser
(7)
Forskningsdatasæt
(2)
Publikationer
Publikationer pr. år
2006
2006
2009
2011
2017
2018
2020
2021
2023
2024
2025
143
Konferencebidrag i proceedings
95
Tidsskriftartikel
37
Bidrag til bog/antologi
31
Konferenceartikel
129
Mere
30
Antologi
25
Paper
13
Ph.d.-afhandling
9
Rapport
9
Leder
8
Udgivelser på nettet - Net-publikation
7
Konferenceabstrakt til konference
6
Encyclopædiartikel
4
Preprint
3
Kompendium/lecture notes
3
Forord/efterskrift
2
Poster
2
Review
2
Working paper
1
Bog
1
Doktordisputats
1
Konferenceabstrakt i proceedings
1
Bidrag til avis - Avisartikel
1
Anmeldelse
1
Andet bidrag
Publikationer pr. år
Publikationer pr. år
1 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filter
Anmeldelse
Søgeresultater
2018
Review of book: Willem Conradie and Valentin Goranko,
Logic and Discrete Mathematics: A Concise Introduction
, Wiley, 2015
.
Braüner, T.
,
2018
,
I:
Studia Logica: An International Journal for Symbolic Logic.
106
,
3
,
s. 671-673
Publikation
:
Bidrag til tidsskrift
›
Anmeldelse
›
Forskning
›
peer review