期刊书目 › BOOKS with Alphabet L (La, Lb,Lc, Ld, Le…... ) › Titlebook: Logic-Based Program Synthesis and Transformation; 26th International S Manuel V Hermenegildo,Pedro Lopez-Garcia Conference proceedings 2017

Free-Radical 发表于 2025-3-30 10:23:11

http://reply.papertrans.cn/59/5881/588093/588093_51.png

HEDGE 发表于 2025-3-30 12:48:45

http://reply.papertrans.cn/59/5881/588093/588093_52.png

Libido 发表于 2025-3-30 18:32:26

http://reply.papertrans.cn/59/5881/588093/588093_53.png

尊重 发表于 2025-3-30 20:47:41

http://reply.papertrans.cn/59/5881/588093/588093_54.png

查看完整版本: Titlebook: Logic-Based Program Synthesis and Transformation; 26th International S Manuel V Hermenegildo,Pedro Lopez-Garcia Conference proceedings 2017