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

Pdf slides of Talk

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