软件名称：[B]TableauxProver 1.1-1[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：1.76 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

一个场景自动和半自动的证明者

TableauxProver的设计是能自动校准仪和一个画板。

它是专门建造的，所以，它不允许用户提交规则的错误。

它的语法使用前束规格，用户可以方便的方式重新排列公式简化校对过程中。

要求：

·Lua解释器

此版本中的神器出山:www.shenqi73.com新功能：

·新的FOL常量规格

[url=http://www.sot9.com/soft/100174.html][B]TableauxProver 1.1-1[/B][/url]

点这里下载->TableauxProver 1.1-1 [ 下载地址 ]