Besøksadresse
Domus Theologica (kart)
Blindernveien 9
0371
OSLO
Personer med emneord «Automatisk resonnering»
| Navn | Telefon | E-post | Emneord |
|---|---|---|---|
Antonsen, Roger
Førsteamanuensis
|
+47 22852482 | rantonse@ifi.uio.no | Logikk, Bevisteori, Automatisk resonnering, Bevissøk, Modallogikk, Førsteordens logikk, Kompleksitetsteori, Automater, Cellulære automater, Generativ kunst, Algoritmer, Algoritmisk kunst, Matematisk kunst, Netlogo, Processing, Filosofi, Matematikkfilosofi, Formidling, Vitenskapsformidling |
Giese, Martin
Professor
|
+47 22852737 | martingi@ifi.uio.no | Automatisk resonnering, Semantic web, Bevissøk, Logikk, Big data, Førsteordens logikk |