Local reasoning for stateful programs

已完结

文献求助详情

标题	[高分] 学位论文 Local reasoning for stateful programs 有状态程序的局部推理相关领域计算机科学分离逻辑程序设计语言有状态防火墙自动推理空间智能地点理论计算机科学人工智能计算机网络语言学哲学网络数据包
网址	https://www.proquest.com/openview/f7e3893043098c035f8eccbe2f...
DOI	暂未提供，该求助的时间将会延长，查看原因？
求助人	Artin 在 2025-10-20 04:34:54 发布自荷兰，悬赏 50 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通，破除各种障碍，优化资源分配，让科研信息充分流通

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

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

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

更新

2025年影响因子查询已上线 (2025-6-18)

更新

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

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

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

刚刚; mmx完成签到，获得积分10

1秒前; xxmol发布了新的文献求助20

1秒前; 专心搞科研完成签到，获得积分10

1秒前; 杜乔关闭了杜乔的文献求助

1秒前; WUT完成签到，获得积分10

1秒前; 柠橙完成签到，获得积分10

2秒前; 大秦骑兵完成签到，获得积分10

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

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

2秒前; 无所谓的啦给无所谓的啦的求助进行了留言

3秒前; 菜菜鱼完成签到，获得积分10

3秒前; 静静等待完成签到，获得积分10

3秒前; 科研通AI2S的应助被chengshaoyan采纳，获得10

3秒前; 体贴薯片完成签到，获得积分10

4秒前; 泉眼完成签到，获得积分10

4秒前; 浑映之完成签到，获得积分10

4秒前; 江恪完成签到，获得积分10

4秒前; 卡乐瑞咩吹可完成签到，获得积分10

4秒前; Suchen完成签到，获得积分10

5秒前; mew桑完成签到，获得积分10

5秒前; ephore的应助被felix采纳，获得10

5秒前; 不配.的应助被felix采纳，获得50

5秒前; 大个上传了应助文件

5秒前; 半夏的应助被felix采纳，获得10

5秒前; 上官若男的应助被liang2508采纳，获得10

6秒前; 唐唐完成签到，获得积分10

6秒前; 醒醒完成签到，获得积分10

7秒前; orixero上传了应助文件

7秒前; 中二少女爱喝可乐完成签到，获得积分10

7秒前; tjunqi完成签到，获得积分10

7秒前; 美好问枫完成签到，获得积分10

7秒前; 温夏完成签到，获得积分10

8秒前; HJJHJH上传了应助文件

8秒前; 黑马的嘶鸣完成签到，获得积分20

9秒前; 无限萃完成签到，获得积分10

9秒前; juan完成签到，获得积分10

9秒前; 淡墨完成签到，获得积分10

9秒前; 浪子的应助被Leo000007采纳，获得10

9秒前; 畅跑daily完成签到，获得积分10

9秒前