贪求 发表于 2025-3-21 16:47:07

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

intellect 发表于 2025-3-21 23:41:17

978-3-540-11210-5Springer-Verlag Berlin Heidelberg 1982

圆柱 发表于 2025-3-22 01:40:29

http://reply.papertrans.cn/17/1678/167737/167737_3.png

隐士 发表于 2025-3-22 06:30:22

0302-9743 Overview: 978-3-540-11210-5978-3-540-39038-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

AVID 发表于 2025-3-22 12:41:20

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/b/image/167737.jpg

Little 发表于 2025-3-22 14:29:56

6楼

nonchalance 发表于 2025-3-22 20:04:53

7楼

essential-fats 发表于 2025-3-23 00:21:04

8楼

LINE 发表于 2025-3-23 02:04:31

9楼

Pelago 发表于 2025-3-23 07:36:58

10楼
页: [1] 2 3 4
查看完整版本: Titlebook: Axiomatising the Logic of Computer Programming; Robert Goldblatt Book 1982 Springer-Verlag Berlin Heidelberg 1982 Programmierlogik.compute