Maxim Hendriks is an author at Vrije Universiteit Amsterdam.
Publications per year
2007–2008
2
2
Teaching logic using a state-of-the-art proof assistant
Maxim Hendriks, Cezary Kaliszyk, Femke van Raamsdonk et al. · SHILAP Revista de lepidopterología · 2008 · 33 citations · Full text
Teaching logic using a state-of-the-art proof assistant
Cezary Kaliszyk, Freek Wiedijk, Maxim Hendriks et al. · Radboud Repository (Radboud University) · 2007 · 19 citations · Full text
Rows per page
1–2 of 2