Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF3580
Vår 2016
Exam
obliger
Undervisningsmateriale
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF3580
>
Vår 2016
Dette emnet er erstattet av
IN3060 – Semantiske teknologier
.
INF3580 - Semantiske Teknologier
Semesterside for INF3580 - Vår 2016
Timeplan
Eksamen: Tid og sted
Beskjeder
Exams from previous years
6. juni 2016 12:00
Simple entailment, soundness, and completeness
15. mars 2016 09:39
Kontakt
Institutt for informatikk