文件名称:
GlueSemWorkbench_v2:Glue语义工作台提供了两种Glue证明，用于基于语义形式主义来计算语义表示。-源码
开发工具:
文件大小: 102kb
下载次数: 0
上传时间: 2021-03-18
详细说明：关于
该软件项目最初是Mark-Matthias Zymla和Moritz Messmer与Richard Crouch，Tracy Holloway King和Miriam Butt合作的一个小型项目，目的是恢复XLE使用的旧胶水证明者。我们希望为胶水语义提供一个最新的平台，由于其模块化的结构，因此既易于使用又可扩展。
该系统包含两个线性逻辑证明：
线性逻辑证明者基于Mark Hepple的图表证明者，并根据Lev（2007）中的建议进行了改进
Lev自己的线性逻辑证明器的基本实现。通常提供与第一个证明者相同的解决方案，但通常效率更高。但是，它仅适用于命题胶水！
发牌
胶水语义工作台版权所有2018 Moritz Messmer和Mark-Matthias Zymla。该文件是Glue语义工作台的一部分Glue语义工作台是免费软件，并根据GNU通用公共许可证的条件分发，没有任何保证。您应
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
