期刊书目 › BOOKS with Alphabet R (Ra, Rb,Rc, Rd, Re…... ) › Titlebook: Rewriting Techniques and Applications; 19th International C Andrei Voronkov Conference proceedings 2008 Springer-Verlag Berlin Heidelberg 2

空中 发表于 2025-4-1 02:38:38

http://reply.papertrans.cn/83/8300/829955/829955_61.png

帽子 发表于 2025-4-1 08:19:41

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/662793.jpg

查看完整版本: Titlebook: Rewriting Techniques and Applications; 19th International C Andrei Voronkov Conference proceedings 2008 Springer-Verlag Berlin Heidelberg 2