Personer med emneord «Førsteordens logikk»

Navn Telefon E-post Emneord
Bilde av Roger Antonsen Antonsen, Roger Førsteamanuensis +47-22852482 97588742 97588742 rantonse@ifi.uio.no Matematisk logikk, Bevissøk, Vitenskapsformidling, Kombinatorikk, Modallogikk, Filosofi, Logikk, Matematikkfilosofi, Automater, Formidling, Kompleksitetsteori, Automatisk resonnering, Førsteordens logikk, Logiske kalkyler, Arduino, Processing, Netlogo, Bevisteori
Bilde av Martin Giese 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