1h 19 min

Kapittel 23 forts. og Kapittel 24 INF1080 – Logiske metoder for informatikk (kun lyd)

    • Cursos

Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon

  • ℗ & © 2014 Institutt for informatikk, Universitetet i Oslo

Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon

1h 19 min

  • ℗ & © 2014 Institutt for informatikk, Universitetet i Oslo