清楚明确 发表于 2025-3-21 17:18:22

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

Forehead-Lift 发表于 2025-3-21 21:01:30

http://reply.papertrans.cn/24/2338/233765/233765_2.png

希望 发表于 2025-3-22 01:35:17

http://reply.papertrans.cn/24/2338/233765/233765_3.png

Flirtatious 发表于 2025-3-22 05:13:54

http://reply.papertrans.cn/24/2338/233765/233765_4.png

Dendritic-Cells 发表于 2025-3-22 10:06:56

https://doi.org/10.1057/978-1-137-53294-7ications are based on an interpretation of the lambda calculus in a category-theoretic model in which all functions are polynomial time computable by construction. The details of this interpretation are not the main subject of this paper and will appear elsewhere.

单片眼镜 发表于 2025-3-22 16:19:22

http://reply.papertrans.cn/24/2338/233765/233765_6.png

单片眼镜 发表于 2025-3-22 19:53:33

http://reply.papertrans.cn/24/2338/233765/233765_7.png

陶醉 发表于 2025-3-23 00:23:06

http://reply.papertrans.cn/24/2338/233765/233765_8.png

突袭 发表于 2025-3-23 04:27:23

http://reply.papertrans.cn/24/2338/233765/233765_9.png

等待 发表于 2025-3-23 07:30:17

http://reply.papertrans.cn/24/2338/233765/233765_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Computer Science Logic; 11th International W Mogens Nielsen,Wolfgang Thomas Conference proceedings 1998 Springer-Verlag Berlin Heidelberg 1