Bachelor Informatica



The following thesis was written by a student in the 2018-2019 class of the Bachelor Informatica programme at Leiden University.


Thesis details

Title (In)effciënte Bewijsstrategieën
Student Campmans, A.J.
Programme Bachelor Informatica
Year 2018-2019
Thesis Open Thesis PDF

Citation details

Campmans, A.J., (In)effciënte Bewijsstrategieën, Thesis Bachelor Informatica, Leiden University, 2019.