Personer med emneord «Netlogo»

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 Roger Antonsen Antonsen, Roger Associate Professor +47-22852482 97588742 97588742 rantonse@ifi.uio.no First-Order Logic, Processing, Netlogo, Mathematical Logic, Outreach, Arduino, Automated Reasoning, Philosophy, Proof Theory, Logical Calculi, Automata, Modal Logic, Philosophy of Mathematics, Combinatorics, Logic, Complexity Theory, Science Communication, Proof Search
RSS-strøm fra denne siden