Besøksadresse
Ole-Johan Dahls Hus (kart)
Gaustadalléen 23 B
N-0373
OSLO
Norge
Name | Phone | Tags | |
---|---|---|---|
![]() |
+47 22852737 | martingi@ifi.uio.no | first order logic, proof search, semantic web, logic, automated reasoning, big data |