Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science（2017）
Département Mathématiques et Informatique Appliquées
摘要
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and
更多查看译文
原文链接
分享
引用
