INF1080 – Logiske metoder for informatikk (kun lyd)

Kapittel 9


Listen Later

Kapittel 9: Tillukninger og induktivt definerte mengder
...more
View all episodesView all episodes
Download on the App Store

INF1080 – Logiske metoder for informatikk (kun lyd)By Institutt for informatikk, Universitetet i Oslo