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

Pdf slides of Talk

WP6: Data/Knowledge/Software bases Talks Math-in-the-Middle