coenvdam

Pinned Repositories

logic-introduction
The lecture notes for my intro logic course for first-year AI students at Utrecht University (KI1V13001 - Inleiding Logica).
Language:TeX0 0 00
SoftTestPatience
Our solution to Assignment 1. Part 2. XUnit Testing from Software Testing (2DV610)
Language:C#0 1 00
KI1V13001-Inleiding-Logica
This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"
Language:TeX3 3 8416
KBS-b1
kbs 1 spel
Language:C#11

coenvdam/logic-introduction
The lecture notes for my intro logic course for first-year AI students at Utrecht University (KI1V13001 - Inleiding Logica).
Language:TeX0 0 00
coenvdam/SoftTestPatience
Our solution to Assignment 1. Part 2. XUnit Testing from Software Testing (2DV610)
Language:C#0 1 00