TY  - RPRT
TI  - Towards Logical Specification of Statistical Machine Learning
AU  - Yusuke Kawamoto
PY  - 2020
DO  - 10.1007/978-3-030-30446-1_16
UR  - https://arxiv.org/abs/1907.10327
ID  - 1907.10327
ER  -