Standard
Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. / Axelsen, Holger Bock.
Improving University Science Teaching and Learning: Pedagogical Projects 2014. ed. / Lars Ulriksen; Jan Sølberg. Department of Science Education, University of Copenhagen, 2014. p. 13-31 (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Axelsen, HB 2014,
Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. in L Ulriksen & J Sølberg (eds),
Improving University Science Teaching and Learning: Pedagogical Projects 2014. Department of Science Education, University of Copenhagen, Improving University Science Teaching and Learning - Pedagogical Projects, no. 1-2, vol. 7, pp. 13-31. <
https://www.ind.ku.dk/publikationer/knud/2014-7/PedagogicalProjects2014.pdf>
APA
Axelsen, H. B. (2014).
Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. In L. Ulriksen, & J. Sølberg (Eds.),
Improving University Science Teaching and Learning: Pedagogical Projects 2014 (pp. 13-31). Department of Science Education, University of Copenhagen. Improving University Science Teaching and Learning - Pedagogical Projects Vol. 7 No. 1-2
https://www.ind.ku.dk/publikationer/knud/2014-7/PedagogicalProjects2014.pdfVancouver
Axelsen HB. Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. In Ulriksen L, Sølberg J, editors, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Department of Science Education, University of Copenhagen. 2014. p. 13-31. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).
Author
Axelsen, Holger Bock. / Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates. Improving University Science Teaching and Learning: Pedagogical Projects 2014. editor / Lars Ulriksen ; Jan Sølberg. Department of Science Education, University of Copenhagen, 2014. pp. 13-31 (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).
Bibtex
@inbook{6dbd880eca0246beae03271586024fa1,
title = "Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates",
author = "Axelsen, {Holger Bock}",
year = "2014",
language = "English",
series = "Improving University Science Teaching and Learning - Pedagogical Projects",
number = "1-2",
pages = "13--31",
editor = "Lars Ulriksen and Jan S{\o}lberg",
booktitle = "Improving University Science Teaching and Learning",
publisher = "Department of Science Education, University of Copenhagen",
}
RIS
TY - CHAP
T1 - Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates
AU - Axelsen, Holger Bock
PY - 2014
Y1 - 2014
M3 - Book chapter
T3 - Improving University Science Teaching and Learning - Pedagogical Projects
SP - 13
EP - 31
BT - Improving University Science Teaching and Learning
A2 - Ulriksen, Lars
A2 - Sølberg, Jan
PB - Department of Science Education, University of Copenhagen
ER -
