EulerSharp 2011-06-24
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/eulersharp/files/eulersharp/Euler-2011-06-24/Euler-2011-06-24.zip/download
关于 EulerSharp
Euler 是一个支持基于逻辑的校样的推理引擎。它是一个向后链推理器,通过 Euler 路径检测增强。它在 Java、C#、Python、Javascript 和 Prolog 中具有实现。通过 N3,它可与 W3C Cwm 互操作。
相关软件
-
g15tools 免费
用于罗技 g15 键盘的用户空间工具。这些工具可用于在 lcd 上显示自定义内容,也可用于处理键盘的额外键。
-
ARNUX 免费
欢迎来到ARUX:开源嵌入式Linux项目。第一个土耳其嵌入式 Linux 发行版。基于嵌入式和控制台的操作系统。由ARDIC(应用研究开发创新中心)http://www.ardictech.com
-
Squirrel Shell 免费
松鼠壳是一个跨平台的替代品,替代系统外壳,如在Linux和cmd.exe微软Windows。它基于脚本语言 " 松鼠 "。
-
wekula - A web interface to Bacula 免费
韦库拉是巴库拉备份系统的 Web 界面。有了它,你将能够改变Bacula设置,停止/启动Bacula守护神,做单文件搜索和恢复...附加性,它将提供方便的PHP接口巴库拉客户端和巴库拉守护神。
-
libfallocate 免费
如果文件系统知道文件的大小,它们可以避免碎片化。此库为谬接种() 系统调用(如 glibc-2.10+)提供了包装器,但也知道 xfs/ocfs2 ioctl,并提供比 posix_fallocate() 更好的回退。
-
AAT Direct Connect Hub Project 免费
编写脚本和集线器模组以增强 OpenDCHub。Hub-Security 脚本按国家/地区筛选未注册的用户,并添加操作命令和安全功能。统计和有趣的脚本也可用。未来发展将转向 ODCH 模组
-
yydecode -- decodes yEnc/uuencoded binar 免费
yydecode 是一个高度便携的解码器, 用于 yenc 编码的二进制文件使用网。它提供了卓越的功能,以udecode,并可以用作一个滴位更换。
-
ice Updater 免费
冰更新器 - 用于自动化和集中式 MS Office 更新的可编程解决方案。国际搜索和下载缺少的修补程序和服务包。在本地或远程计算机上安静安装修补程序 - 无需用户输入。跟踪日志、Windows NT 或更晚
-
GACSoft Free Driver Updater 免费
GACSoft 免费驱动程序更新程序的描述:一个免费的驱动程序工具,在几分钟内优秀地更新PC驱动程序...本世纪是信息技术时代。随着高科技的飞速发展,互联网渗透到人们的日常生活。几乎每个人都知道并理解计算机。但是,你知道哪一部分是计算机不可或缺的?当然,它是一个驱动程序。驱动程序,特殊的软件,允许 Windows 与其他软件程序和硬件通信。如果您在没有驱动程序或硬件(如视频卡或网络摄像头)的情况下操作计算机,您的计算机将不能正常工作和高效
-
V-Drive 免费
V-Drive 是一个小型应用程序,可在您的 Windows PC 上创建一个虚拟硬盘,该硬盘可从您的 ISP、Uni 等提供的个人 Web 空间访问其数据,从而允许您拥有可以从任何 Windows PC 访问的磁盘驱动器。