遇见数据集

Resource Logics - Proof Theoretical Investigations

收藏
Figshare2014-04-11 更新2026-04-29 收录
官方服务:

资源简介:

Ph.D thesis in Mathematical Logic. Linear Logic, Modal Logic, Lambek Calculus

创建时间:
2014-04-11
二维码
社区交流群
二维码
科研交流群
商业服务