Personer med emneord «Førsteordens logikk»
Navn | Telefon | E-post | Emneord |
---|---|---|---|
![]() |
+47 22852737 | martingi@ifi.uio.no | Logikk, Big data, Semantic web, Automatisk resonnering, Bevissøk, Førsteordens logikk |