computational-semantics-vt21:计算语义学课程教材LT2213-VT21
需积分: 12 156 浏览量
2021-04-01
16:16:00
上传
评论
收藏 95KB ZIP 举报
computational-semantics-vt21-main.zip （10个子文件） 
computational-semantics-vt21-main 01-logic-and-lambda-calculus assignment 
simple-sem.fcfg 2KB utils.py 3KB logic-and-lambda-calculus.ipynb 16KB examples simple-sem.fcfg 2KB first-order-logic.ipynb 13KB lambda-calculus.ipynb 119KB propositional-logic.ipynb 6KB notes work-in-groups.md 8KB README.md 88B .gitignore 3KB资源评论
