Persons tagged with «Cellulære automater»

Name	Phone	E-mail	Tags
Antonsen, Roger Associate Professor	+47 22852482	rantonse@ifi.uio.no	Logic, Proof Theory, Automated Reasoning, Proof Search, Modal Logic, First-Order Logic, Complexity Theory, Automata, Cellulære automater, Generative Art, Algorithms, Algorithmic Art, Mathematical Art, Netlogo, Processing, Philosophy, Philosophy of Mathematics, Outreach, Science Communication