南莫尔1.0_Molle 1.0

论坛转帖     用户评论

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

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

南莫尔1.0_Molle 1.0下载地址

南莫尔1.0_Molle 1.0下载

南莫尔1.0_Molle 1.0软件简介

最新发布的相关软件:
  • 南莫尔1.0_Molle 1.0

  • 南莫尔是一个跨平台的证明者,模态逻辑,利用模态的语义场面方法

    MOLLE是模态逻辑发疯的评估程序。

    MOLLE系统是一个跨平台的证明者用Java编写的,实现了Tableaux算法的K模态逻辑。南莫尔是能够生成例如和反模型,证明的神器出山:www.shenqi73.com有效性的模态方程式。

    框架属性可以选择:自反财产已实施至今,和更多的属性将在短期内。我们的目标是让所有的模态逻辑为证明。

    南莫尔拥有一个非常实用的图形界面和简单的公式语法。没有学习曲线,,南莫尔是非常适合为模态逻辑的教学和实践。


    最新发布的相关软件:
  • 南莫尔1.0_Molle 1.0
  • 南莫尔1.0_Molle 1.0下载地址

    南莫尔1.0_Molle 1.0下载
    广告赞助

    随便看看

    网友评论

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