软件名称：[B]LogicCalculus 1033年1月1日阿尔法_LogicCalculus 1.1.1033 Alpha[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：5.57 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

集成开发环境为谓词逻辑

LogicCalculus被设计成一个可访问的逻辑IDE（集成开发环境）的句子的逻辑和谓词逻辑。

目前，该应用程序可以对表达式求值，并填写了一个道理表。

下面是一些主要特点“LogicCalculus”：

·句子的神器出山:www.shenqi73.com逻辑
·真值表

[url=http://www.sot9.com/soft/100102.html][B]LogicCalculus 1033年1月1日阿尔法_LogicCalculus 1.1.1033 Alpha[/B][/url]

点这里下载->LogicCalculus 1033年1月1日阿尔法_LogicCalculus 1.1.1033 Alpha [ 下载地址 ]