没有合适的资源?快使用搜索试试~ 我知道了~
LambdaCalculator:自然语言语义学学生的教学工具
共784个文件
java:181个
txt:111个
dll:108个
需积分: 10 1 下载量 190 浏览量
2021-02-11
09:44:19
上传
评论
收藏 81.73MB ZIP 举报
温馨提示
Lambda计算器 Lucas Champollion,Josh Tauberer,Maribel Romero,Dylan Bumford,Alex Warstadt,Anna Alsop和Raef Khan的联合作品。 Lambda计算器是一种交互式的图形化教学工具,可以帮助正式语义学的学生根据Heim&Kratzer(1998)风格的语义实践类型化的lambda演算和含义的推导。 有关该项目的最新信息,。 复制中 该项目根据GNU GPL(最新版本)的条款进行分发。 安装 您可以从该存储库选项卡中下载Windows,OS X和linux的工具版本。 有关安装和使用的更多信息和说明,请访问 。
资源推荐
资源详情
资源评论
收起资源包目录
LambdaCalculator:自然语言语义学学生的教学工具 (784个子文件)
libgcc.a 2.99MB
libkernel32.a 977KB
libmingwex.a 875KB
libkernel32.a 640KB
libmsvcrt.a 568KB
libmsvcrt.a 492KB
libuser32.a 467KB
libuser32.a 461KB
libadvapi32.a 402KB
libadvapi32.a 401KB
libshell32.a 144KB
libshell32.a 138KB
libmoldname.a 76KB
libgcc.a 52KB
libmingw32.a 48KB
libmingw32.a 7KB
jmxremote.access 4KB
fontconfig.bfc 4KB
blacklist 4KB
splash.bmp 26KB
splash.bmp 4KB
head.c 30KB
jnihead.c 8KB
sign4j.c 8KB
jniguihead.c 6KB
guihead.c 6KB
jniconsolehead.c 3KB
consolehead.c 2KB
cacerts 106KB
blacklisted.certs 2KB
jvm.cfg 634B
classlist 82KB
.classpath 1KB
.classpath 959B
COPYING 18KB
COPYRIGHT 3KB
javacpl.cpl 249KB
style.css 2KB
tzdb.dat 105KB
currency.data 4KB
jniguihead.dev 2KB
jniconsolehead.dev 2KB
guihead.dev 2KB
consolehead.dev 2KB
jfxwebkit.dll 58.05MB
jvm.dll 8.16MB
npdeployJava1.dll 1.84MB
awt.dll 1.43MB
deployJava1.dll 1.21MB
ucrtbase.dll 988KB
gstreamer-lite.dll 888KB
ssv.dll 717KB
mlib_image.dll 677KB
msvcp140.dll 613KB
msvcp140.dll 613KB
glib-lite.dll 605KB
deploy.dll 523KB
jp2iexp.dll 348KB
jp2ssv.dll 340KB
npjp2.dll 325KB
fontmanager.dll 278KB
glass.dll 266KB
t2k.dll 256KB
lcms.dll 239KB
jli.dll 238KB
wsdetect.dll 225KB
splashscreen.dll 209KB
jdwp.dll 203KB
jpeg.dll 193KB
WindowsAccessBridge-64.dll 188KB
fxplugins.dll 186KB
instrument.dll 184KB
javafx_iio.dll 163KB
java.dll 160KB
eula.dll 160KB
hprof.dll 160KB
dcpr.dll 160KB
JavaAccessBridge-64.dll 150KB
jfxmedia.dll 144KB
sunec.dll 138KB
prism_d3d.dll 130KB
net.dll 100KB
prism_sw.dll 98KB
decora_sse.dll 87KB
vcruntime140.dll 84KB
vcruntime140.dll 84KB
unpack.dll 83KB
zip.dll 82KB
javafx_font.dll 72KB
j2pkcs11.dll 69KB
nio.dll 63KB
api-ms-win-crt-private-l1-1-0.dll 63KB
prism_common.dll 61KB
verify.dll 51KB
sunmscapi.dll 42KB
management.dll 40KB
jsound.dll 39KB
jsoundds.dll 35KB
dt_shmem.dll 33KB
java_crw_demo.dll 31KB
共 784 条
- 1
- 2
- 3
- 4
- 5
- 6
- 8
资源评论
杜佳加
- 粉丝: 42
- 资源: 4625
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功