HEM
发表于 2025-3-21 17:01:26
书目名称Logic and Computer Science影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0587956<br><br> <br><br>书目名称Logic and Computer Science读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0587956<br><br> <br><br>
遵循的规范
发表于 2025-3-21 20:44:03
http://reply.papertrans.cn/59/5880/587956/587956_2.png
occult
发表于 2025-3-22 02:26:22
http://reply.papertrans.cn/59/5880/587956/587956_3.png
Repetitions
发表于 2025-3-22 08:17:24
http://reply.papertrans.cn/59/5880/587956/587956_4.png
漂泊
发表于 2025-3-22 09:07:46
http://reply.papertrans.cn/59/5880/587956/587956_5.png
bonnet
发表于 2025-3-22 16:24:18
Making computers safe for the world: An introduction to proofs of programs part I,
褪色
发表于 2025-3-22 19:08:14
http://reply.papertrans.cn/59/5880/587956/587956_7.png
nettle
发表于 2025-3-23 01:00:58
http://reply.papertrans.cn/59/5880/587956/587956_8.png
inhumane
发表于 2025-3-23 03:30:59
0075-8434 ode:. Some Lectures on Intuitionistic Logic.- .R.A. Platek:. Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - .G.E. Sacks:. Prolog Programming.- .A. . .Scedrov:. A Guide to Polymorphic Types.978-3-540-52734-3978-3-540-47135-6Series ISSN 0075-8434 Series E-ISSN 1617-9692
模范
发表于 2025-3-23 06:22:26
http://reply.papertrans.cn/59/5880/587956/587956_10.png