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

通用体系结构为证明

GAPT是一个证明的理论框架。在创建的数据类型，运算法则，解析器，转换及其他部件，常见的一般理论证明和机械化证明的理论，特别是该框架的目标。

GAPT多么有用，它可以在您的神器出山:www.shenqi73.com开发项目进行了试驾！

[url=http://www.sot9.com/soft/98510.html][B]GAPT 1.0阿尔法_Gapt 1.0 Alpha[/B][/url]

点这里下载->GAPT 1.0阿尔法_Gapt 1.0 Alpha [ 下载地址 ]