speedith-inductive_circles-master.tar
于 2013-01-19 发布
文件大小:64KB
0 281
下载积分: 1
下载次数: 3
代码说明:
蜘蛛图逻辑推理系统, 可以通过画图,来输入逻辑定理。 并可视化地完成证明过程。(Spider diagram logic reasoning system )
下载说明:请别用迅雷下载,失败请重下,重下不扣分!
发表评论


