A proof system of the CaIT calculus - 科研通

发布文献求助

已关闭

文献求助详情

标题	A proof system of the CaIT calculus
网址	https://link.springer.com/content/pdf/10.1007/s11704-022-225...
DOI	10.1007/s11704-022-2258-3 doi
其它	期刊：Frontiers of Computer Science 作者：Ningning Chen; Huibiao Zhu 出版日期：2023-09-11
求助人	老张在 2026-03-17 15:43:47 发布自江苏，悬赏 10 积分
下载

Society for Industrial and Applied Mathematics (SIAM)

上个求助

下个求助

提交工单

求助 / 应助时间线

6个月前，求助关闭

老张 Lv5 求助人关闭了本次求助。

说明找到了【积分已退回】
6个月前

老张 Lv5 求助人发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: zero完成签到，获得积分10

1秒前; 舒适的芹菜完成签到，获得积分10

1秒前; 情怀上传了应助文件

1秒前; 李健的粉丝团团长上传了应助文件

2秒前; 斯文败类的应助被三七二十一采纳，获得10

2秒前; Jasper的应助被三七二十一采纳，获得10

2秒前; 万能图书馆的应助被三七二十一采纳，获得10

2秒前; 传奇3的应助被三七二十一采纳，获得10

2秒前; 小二郎的应助被三七二十一采纳，获得10

2秒前; ding的应助被nxdr采纳，获得10

2秒前; gxzsdf完成签到，获得积分10

3秒前; FELIX发布了新的文献求助10

4秒前; Samantha发布了新的文献求助10

4秒前; 五條小羊完成签到，获得积分10

5秒前; 好好学习发布了新的文献求助10

6秒前; NexusExplorer的应助被哈哈哈采纳，获得10

6秒前; 小恐龙飞飞发布了新的文献求助10

7秒前; 等待的映雁发布了新的文献求助10

9秒前; 别找茬完成签到，获得积分10

10秒前; 孟昊如发布了新的文献求助20

11秒前; aaaa上传了应助文件

12秒前; NexusExplorer上传了应助文件

13秒前; JamesPei上传了应助文件

13秒前; 大模型的应助被权_888采纳，获得10

13秒前; 爆米花的应助被丹皮小姐采纳，获得10

14秒前; zhuzhu发布了新的文献求助10

14秒前; Ava上传了应助文件

14秒前; 程新亮完成签到，获得积分10

15秒前; 陶醉的斓发布了新的文献求助10

18秒前; 完美世界的应助被sugarfanfan采纳，获得10

18秒前; 小刘同学发布了新的文献求助10

19秒前; 研友_VZG7GZ上传了应助文件

19秒前; 哈哈哈发布了新的文献求助10

20秒前; 着急的接收的应助被jinmuna采纳，获得10

21秒前; 李健的粉丝团团长上传了应助文件

21秒前; 无极微光的应助被孟昊如采纳，获得20

21秒前; 爆米花上传了应助文件

22秒前; HIT_C发布了新的文献求助10

23秒前; LaJoya完成签到，获得积分10

24秒前; 121完成签到，获得积分10

24秒前

高分求助中: (应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000; Encyclopedia of Cardiovascular Research and Medicine(2e) 820; 自動車の空力技術 800; Essentials of Carbohydrate Chemistry and Biochemistry, 4th Edition 800; Organizational Behavior 510; Management and the Arts 510; Matrix Methods in Data Mining and Pattern Recognition Second Edition 510

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 7781843; 求助须知：如何正确求助？哪些是违规求助？ 9321514; 关于积分的说明 20383226; 捐赠科研通 7369680; 什么是DOI，文献DOI怎么找？ 3320153; 关于科研通互助平台的介绍 2467969; 邀请新用户注册赠送积分活动 2336080

今日热心研友

老的火龙果

我能私信骂你吗

悦耳的怀寒

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通