jkorb/KI1V13001-Inleiding-Logica

This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"

语言：TeX · GitHub 星标：4 · Fork：15

话题：artifical-intelligence · course-materials · education · latex · logic · utrecht-university

在 GitHub 上查看原仓库