软件名称：[B]宾夕法尼亚LAMBDA计算器1.0.12_The Penn Lambda Calculator 1.0.12[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：416 KB
官方主页：Home Page
更新时间：2013-03-08 10:45:00
软件简介:

演算变得更加容易。

在宾夕法尼亚LAMBDA计算器是一个互动的，图形化的，以Java为基础的电脑，旨在帮助自然语言的形式语义的学生实行类型化λ演算。

要求：

·的神器出山:www.shenqi73.comJava

此版本中的新功能：

·固定的按字母顺序排列的变种{X | }符号。
·固定式装卸储存，使用新的表达式类型的练习文件。

[url=http://www.sot9.com/soft/135838.html][B]宾夕法尼亚LAMBDA计算器1.0.12_The Penn Lambda Calculator 1.0.12[/B][/url]

点这里下载->宾夕法尼亚LAMBDA计算器1.0.12_The Penn Lambda Calculator 1.0.12 [ 下载地址 ]