软件名称：[B]EulerSharp 2013-10[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：8.11 MB
官方主页：Home Page
更新时间：2013-10-07 00:01:00
软件简介:

推理引擎的使用

内置

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

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

[url=http://www.sot9.com/soft/235792.html][B]EulerSharp 2013-10[/B][/url]

点这里下载->EulerSharp 2013-10 [ 下载地址 ]