INF1080 – Logiske metoder for informatikk (kun lyd)
By Institutt for informatikk, Universitetet i Oslo
Dette er lydopptak av forelesningene i INF1080 – Logiske metoder for informatikk, et kurs i grunnleggende matematiske og logiske metoder som holdes ved Institutt for informatikk, Universitetet i Oslo.... more