Copyright © 2020-2023 www.SOT9.com. All Rights Reserved .
合作联系: QQ: 3217490875
运行环境:WinXP/Win7/Win8/Win10/Win All
软件语言:简体中文
软件类型:国产软件 - 其它软件
授权方式:共享版
软件大小:416 KB
推荐星级:
解压密码:
联系方式:暂无联系方式
插件情况:
图片预览:
更新时间:2013-03-08 10:45:00
下载统计:
在宾夕法尼亚LAMBDA计算器是一个互动的,图形化的,以Java为基础的电脑,旨在帮助自然语言的形式语义的学生实行类型化λ演算。
上一个软件:HP0-Y19 - 的ProCurve加速ASE移动2.0_HP0-Y19 - ProCurve Accelerated ASE Mobility 2.0
下一个软件:JErgometer 0.7.9
共有 0 位网友发表了评论,得分 0 分,平均 0 分 查看完整评论