Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
23.01.2006    planleggingsmøte   
31.01.2006Roger    variabelsplitting   
07.02.2006Roger    variabelsplitting    
14.02.2006Roger    variabelsplitting   
21.02.2006    AVLYST   
28.02.2006    AVLYST   
07.03.2006Arild & Morten    Description Logics   F. Baader og W. Nutt. Basic Description Logics i The Description Logic Handbook, 2003, s. 47-100 
14.03.2006Morten    Description Logics  ibid. 
21.03.2006    AVLYST   
28.03.2006Erik    termindeksering    
04.04.2006Arild    Description Logics  ibid. 
11.04.2006    PÅSKE (ingen undervisning)   
18.04.2006    PÅSKE (ingen undervisning)   
25.04.2006Christian    inkrementell lukking   
02.05.2006Christian  3A  Matrix Characterisation of Validity in Automated Proof Search  Det blir ikke seminar, men Christian skal snakke på DBSEM kl. 12:15-14:00. 
09.05.2006Martin    S5   
16.05.2006    UTSATT   
23.05.2006Espen    SAT-solving   
Publisert 9. jan. 2006 11:42 - Sist endret 7. feb. 2020 16:03