基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,527 浏览量: 1,793
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量