迅速 发表于 2025-3-21 17:37:07

书目名称Temporal Logic of Programs影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0902965<br><br>        <br><br>书目名称Temporal Logic of Programs读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0902965<br><br>        <br><br>

Complement 发表于 2025-3-21 21:20:16

第102965主题贴--第2楼 (沙发)

crutch 发表于 2025-3-22 03:22:01

板凳

PALL 发表于 2025-3-22 06:18:31

第4楼

漂浮 发表于 2025-3-22 11:46:43

5楼

LEVY 发表于 2025-3-22 16:40:27

6楼

人充满活力 发表于 2025-3-22 20:13:55

7楼

浅滩 发表于 2025-3-23 00:09:37

8楼

Aprope 发表于 2025-3-23 01:36:37

9楼

裂缝 发表于 2025-3-23 07:17:25

10楼
页: [1] 2 3 4
查看完整版本: Titlebook: Temporal Logic of Programs; Fred Kröger Textbook 1987 Springer-Verlag Berlin Heidelberg 1987 logic.proof theory.semantics.verification