Michael Kohlhase - ICMS 2016, Berlin, Germnay - 13 Jul 2016

PDF slides of Talk

Talks Math-in-the-Middle