主轴2.2.0_SPINdle 2.2.0

论坛转帖     用户评论

运行环境:WinXP/Win7/Win8/Win10/Win All
软件语言:简体中文
软件类型:国产软件 - 科技软件
授权方式:共享版
软件大小:351 KB
推荐星级:
解压密码:
联系方式:暂无联系方式
插件情况:
图片预览:  
更新时间:2013-02-25 18:16:00
下载统计:

  • 好的评价 如果您觉得好,就请您
      100%(25)
  • 差的评价 如果您觉得差,就请您
      0%(0)

主轴2.2.0_SPINdle 2.2.0下载地址

主轴2.2.0_SPINdle 2.2.0下载

主轴2.2.0_SPINdle 2.2.0软件简介

最新发布的相关软件:
  • 主轴2.2.0_SPINdle 2.2.0

  • 逻辑推理为您的使用

    主轴应用程序中创建的,是一个逻辑推理,以有效的方式,可用于计算的后果,可废止逻辑理论。

    该计划涵盖了基本的权衡性逻辑权衡性逻辑和模态。它可以用来作为一个独立的神器出山:www.shenqi73.com理论证明者,或作为一个嵌入式的推理引擎。

    下面是一些主要特点的“主轴”:

    路支持所有的规则类型的权衡性逻辑,如事实,严格的规定,可撤销的规则,defeaters和优势。
    路支持模态的可废除逻辑与模态算子转换。
    路支持否定和矛盾的相互排斥的文字。
    路可废除理论上可以使用XML和纯文本(与预先定义的语法),和理论,其扩展名也可以使用XML导出表示。
    路的可视化理论编辑器编辑标准废止逻辑理论。

    此版本中的新功能:

    路规则推理的状态记录和推理的否定方式的支持。
    路小的错误修正。


    最新发布的相关软件:
  • 主轴2.2.0_SPINdle 2.2.0
  • 上一个软件:CAP3

    下一个软件:PlanSwift专业版9.3.7.7_PlanSwift Pro 9.3.7.7

    主轴2.2.0_SPINdle 2.2.0下载地址

    主轴2.2.0_SPINdle 2.2.0下载
    广告赞助

    随便看看

    网友评论

    共有 0 位网友发表了评论,得分 0 分,平均 0 分    查看完整评论