Om Gödels sætning

Publication: Research - peer-review › Journal article – Annual report year: 2002

Rækkefremstillinger frembragt af trigonometriske funktioner
Publication: Communication › Journal article – Annual report year: 2010
Rækkefremstillinger i L2(R) frembragt af trigonometriske funktioner
Publication: Research - peer-review › Journal article – Annual report year: 2011
Matematik i en Nautilusskal
Publication: Communication › Journal article – Annual report year: 2005
Rundt om uendeligheden
Publication: Communication › Journal article – Annual report year: 2004
Summations- og intergralformler for zeta(3) og beslægtede konstanter.
Publication: Research - peer-review › Journal article – Annual report year: 2003

Advances in Modal Logic : Volume 9
Publication: Research › Book – Annual report year: 2012
Conditional Epistemic Planning
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
CDIO Projects in DTU’s B.Eng. in IT Study Program
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
Epistemic planning for single- and multi-agent systems
Publication: Research - peer-review › Journal article – Annual report year: 2010
From Frustration to Success: A Case-Study in Advanced Design-Build Experiences
Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2011

Author: Bolander, Thomas
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Kgs. Lyngby
Email:
Author: Jensen, Helge Elbrønd
Department of Mathematics, Technical University of Denmark

ID: 3857302