请输入要查询的图书：
在线阅读本书 This book constitutes the thoroughly refereed post-proceedings of the 11th Inte...
基于 逻辑 的 程序综合 与 变换 会议 录 Logic based program synthesis and transformation