![](/img/cover-not-exists.png)
[IEEE 2020 6th International Conference on Big Data Computing and Communications (BIGCOM) - Deqing, China (2020.7.24-2020.7.25)] 2020 6th International Conference on Big Data Computing and Communications (BIGCOM) - Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies
Mo, Guangshuai, Xiong, Yan, Huang, Wenchao, Ma, LuYear:
2020
DOI:
10.1109/bigcom51056.2020.00016
File:
PDF, 153 KB
2020