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
RSS-strøm fra denne siden