论文研究Model Checking Go.pdf 上传者：宛陵秋 2020-05-24 09:41:18上传 PDF文件 480.78KB 热度 45次 围棋模型检测，朱维军，，基于符号模型检测的围棋方法与基于学习的方法有互补性。为此提出一种新的基于前者技术的算法。首先，通过强限制条件获得一个有限 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
