Kripke’s Worlds_ An Introduction to Modal Logics via Tableaux
需积分: 10 181 浏览量
2015-11-11
10:26:01
上传
评论
收藏 3.05MB PDF 举报
资源评论
jiangdmdr
- 粉丝: 57
- 资源: 774
最新资源
- UIGF_200852355_202404242026.json
- 基于STM32单片机的智能停车场设计源码+全部资料.zip
- 基于Python+Opencv+keras的实时手势识别系统+源码+文档（期末大作业&课程设计&项目开发）
- 基于LabView+MATLAB的说话人识别系统.zip
- 基于树莓派+OpenCV+Python语言的人脸识别+源码+开发文档（毕业设计&课程设计&项目开发）
- 前端vue框架，后端ssm+springboot框架，网站开发.zip
- 基于springboot的快速开发框架.zip
- 基于springboot的分布式权限管理系统，易读易懂、界面简洁美观.zip
- 基于SpringBoot Mybatis-Plus TypeScript的微服务多租户SaaS管理快速开发框架 .zip
- 论文复现：QA-GNN: Reasoning with Language Models and Knowledge
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
