Journal of Automated Reasoning. 2014;53(2):105-127. doi: 10.1007/s10817-013-9299-0 Q40.72025

Theorem of Three Circles in Coq

Coq中的三圆定理

DOI: 10.1007/s10817-013-9299-0

摘要 查看摘要

Copyright © Journal of Automated Reasoning. 中文内容为AI机器翻译，仅供参考！