Informatik2016 Highlights: Keynote-Sprecher Michael Wooldridge – From model checking to equilibrium checking

Einblick in die beeindruckende Präsentation des Keynote-Sprechers Prof. Dr. Michael Wooldridge von der Universität Oxford am Tag der Informatik.

1

2

3

4

5