遇见数据集

Resource Logics - Proof Theoretical Investigations

收藏
DataCite Commons2020-09-04 更新2024-07-25 收录
官方服务:

资源简介:

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

提供机构:
figshare
创建时间:
2016-01-18
二维码
社区交流群
二维码
科研交流群
商业服务