Towards Logical Specification of Statistical Machine Learning

Open in new window