确定子句扣除4.2.8_Definite Clause Deduction 4.2.8

论坛转帖     用户评论

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

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

确定子句扣除4.2.8_Definite Clause Deduction 4.2.8下载地址

确定子句扣除4.2.8_Definite Clause Deduction 4.2.8下载

确定子句扣除4.2.8_Definite Clause Deduction 4.2.8软件简介

最新发布的相关软件:
  • 确定子句扣除4.2.8_Definite Clause Deduction 4.2.8

  • 分析扣除算法,使用此工具

    定条款减免是一个方便,易于使用的应用,专门设计的展示不同的扣除算法,从SLD使用Prolog的用户手动统一条款的决议。

    扣除applet的接受知识基地CILog格式,并给出了解决的神器出山:www.shenqi73.com知识基础的查询功能。它也有选项来查看证明树木。

    要求:

    ·的Java


    最新发布的相关软件:
  • 确定子句扣除4.2.8_Definite Clause Deduction 4.2.8
  • 确定子句扣除4.2.8_Definite Clause Deduction 4.2.8下载地址

    确定子句扣除4.2.8_Definite Clause Deduction 4.2.8下载
    广告赞助

    随便看看

    网友评论

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