2013-07 EulerSharp_EulerSharp 2013-07下载地址

点这里下载 → 下载地址
相关Tags:

2013-07 EulerSharp_EulerSharp 2013-07软件简介

推理引擎的使用

内置

EulerSharp是一个推理引擎,可以支持基于逻辑的证明。

这是一个落后的链推理增强与欧拉路径检测。它具有实现在神器出山:www.shenqi73.comJava ,C#, Python的,Javascript和Prolog的。通过N3是可与W3C水煤浆。

随便看看

软件简略信息
  • 软件大小:8.11 MB
  • 下载次数:99
  • 更新时间:2013-07-07 23:07:00
  • 不能下载请报告错误,谢谢
本类热门软件