The linear time - branching time spectrum

已完结

文献求助详情

标题	书籍（章节） The linear time - branching time spectrum 线性时间分支时间谱相关领域不确定性算法支化（高分子化学）计算机科学语义学（计算机科学）生成语法操作语义时域简单（哲学）时间复杂性理论计算机科学算法域代数上的程序设计语言数学人工智能纯数学哲学材料科学认识论复合材料计算机视觉
网址	https://doi.org/10.1007/bfb0039066
DOI	10.1007/bfb0039066 doi
其它	期刊：Lecture notes in computer science 作者：Rob J. van Glabbeek 出版日期：1990-01-01
求助人	贺飞风在 2025-04-02 09:45:56 发布自河南，悬赏 30 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

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

在科研通，轻松享有文献下载的自由

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

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

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

更新

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

更新

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

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

实时播报: 科目三的应助被黄东胜采纳，获得10

刚刚; 小青椒的应助被nikoniko采纳，获得80

1秒前; wykang发布了新的文献求助10

1秒前; 小蘑菇的应助被北柠采纳，获得10

1秒前; 走四方完成签到，获得积分10

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

1秒前; 淡然健柏完成签到，获得积分10

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

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

3秒前; 科研通AI5上传了应助文件

3秒前; 出其东门发布了新的文献求助10

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

4秒前; 科研通AI6的应助被aaaaaa采纳，获得10

5秒前; 虚拟的乞发布了新的文献求助10

5秒前; 大个的应助被yhb采纳，获得10

5秒前; 共享精神的应助被秀丽的听枫采纳，获得10

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

6秒前; 丘比特的应助被zzzz采纳，获得10

6秒前; 司空宛儿完成签到，获得积分10

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

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

7秒前; wanci的应助被wewew采纳，获得10

7秒前; 大力的契完成签到，获得积分10

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

8秒前; 西川完成签到，获得积分10

8秒前; zzz完成签到，获得积分10

10秒前; 拒绝去偏旁发布了新的文献求助10

10秒前; 出其东门完成签到，获得积分10

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

11秒前; 未何发布了新的文献求助10

11秒前; 科研通AI6上传了应助文件

11秒前; 852的应助被技术阿兰采纳，获得10

11秒前; 乐乐的应助被白瑾采纳，获得10

11秒前; 充电宝的应助被wangzhen采纳，获得10

11秒前; 科研通AI5的应助被wykang采纳，获得30

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

12秒前; 李健的小迷弟上传了应助文件

13秒前; 善学以致用的应助被冷傲的白卉采纳，获得10

13秒前; 白洛玄完成签到，获得积分10

14秒前; 领导范儿上传了应助文件

14秒前