[ACM Press the 2018 ACM - New York, NY, USA (2018.07.16-2018.07.19)] Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 - ZpL
Caruso, Xavier; Roe, David; Vaccon, Tristan
- 作者Caruso, Xavier; Roe, David; Vaccon, Tristan
- 文件大小1186.17KB
- 发表时间2018
- DOI10.1145/3208976.3208995
- 页码119-126