重要 发表于 2025-3-21 16:50:21

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

同音 发表于 2025-3-21 22:23:33

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

fodlder 发表于 2025-3-22 03:38:12

http://reply.papertrans.cn/83/8300/829949/829949_3.png

Ingrained 发表于 2025-3-22 07:40:04

http://reply.papertrans.cn/83/8300/829949/829949_4.png

确认 发表于 2025-3-22 12:42:03

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

MITE 发表于 2025-3-22 16:44:19

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

大约冬季 发表于 2025-3-22 17:34:01

https://doi.org/10.1007/10721975Algebraic Program Manipulation; Compiler; Formal Reasoning; HIgher-Order Rewriting; Logic Calculi; Progra

invulnerable 发表于 2025-3-22 23:28:12

978-3-540-67778-9Springer-Verlag Berlin Heidelberg 2000

CLAP 发表于 2025-3-23 01:38:32

Rewriting Techniques and Applications978-3-540-44980-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

长矛 发表于 2025-3-23 07:45:53

http://reply.papertrans.cn/83/8300/829949/829949_10.png
页: [1] 2 3 4 5 6 7
查看完整版本: Titlebook: Rewriting Techniques and Applications; 11th International C Leo Bachmair Conference proceedings 2000 Springer-Verlag Berlin Heidelberg 2000