Brinksma, Karin (2021) Automating Correspondence Checking in Modal Logic. Bachelor's Thesis, Artificial Intelligence.
![]() |
Text
ThesisAi_KarinBrinksma.pdf Restricted to Registered users only Download (440kB) |
Abstract
De begeleider en/of auteur heeft geen toestemming gegeven tot het openbaar maken van de scriptie. The supervisor and/or the author did not authorize public publication of the thesis.
Item Type: | Thesis (Bachelor's Thesis) |
---|---|
Supervisor name: | Gattinger, B.R.M. |
Degree programme: | Artificial Intelligence |
Thesis type: | Bachelor's Thesis |
Language: | English |
Date Deposited: | 22 Jul 2021 07:33 |
Last Modified: | 22 Jul 2021 07:33 |
URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/25394 |
Actions (login required)
![]() |
View Item |