基于Alloy的73构形存在性定理的机器验证
Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月,江建国,邹 科:辽宁师范大学数学学院,辽宁 大连;张新钢:大连市第二十四中学,辽宁 大连
版权 © 2017 徐 月, 江建国, 邹 科, 张新钢。本期刊文章已获得知识共享署名国际组织(Creative Commons Attribution International License)的认证许可。您可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品;您必须按照作者或者许可人指定的方式对作品进行署名。