分期 发表于 2025-3-21 18:23:31

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

暗语 发表于 2025-3-21 22:22:40

http://reply.papertrans.cn/83/8300/829954/829954_2.png

perimenopause 发表于 2025-3-22 01:05:15

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/829954.jpg

蜡烛 发表于 2025-3-22 05:38:33

https://doi.org/10.1007/3-540-51081-8Automat; algorithm; algorithms; automated deduction; automated reasoning; lambda calculus; logic; programmi

BAN 发表于 2025-3-22 12:46:45

http://reply.papertrans.cn/83/8300/829954/829954_5.png

自爱 发表于 2025-3-22 13:50:44

http://reply.papertrans.cn/83/8300/829954/829954_6.png

cartilage 发表于 2025-3-22 18:49:11

http://reply.papertrans.cn/83/8300/829954/829954_7.png

贫穷地活 发表于 2025-3-22 22:24:21

http://reply.papertrans.cn/83/8300/829954/829954_8.png

Biomarker 发表于 2025-3-23 04:38:38

http://reply.papertrans.cn/83/8300/829954/829954_9.png

华而不实 发表于 2025-3-23 08:24:59

http://reply.papertrans.cn/83/8300/829954/829954_10.png
页: [1] 2 3 4 5 6 7
查看完整版本: Titlebook: Rewriting Techniques and Applications; 3rd International Co Nachum Dershowitz Conference proceedings 1989 Springer-Verlag Berlin Heidelberg