Automatsko rezonovanje

Profesor: Milan Banković
Asistent: Matija Lojović

Osnovne informacije

Obaveze na kursu link
Konsultacije javiti se mejlom

Obaveštenja

Za sada nema obaveštenja.

Materijali

Materijali sa vežbi će biti kačeni na sledećem linku.
Materijali sa prošlogodišnjih vežbi se mogu naći na sledećem linku.

Korisni linkovi

Haskell literatura