Logic-Based Program Synthesis and Transformation - 9783031457838

Glck - Logic-Based Program Synthesis and Transformation 33rd Intern - X555z

Logic-Based Program Synthesis and Transformation: 17th International Symposium,

Logic Based Program Synthesis and Transformation: 13th International Symposium

Logic-Based Program Synthesis and Transformation: 35th International Symposium,

Logic-based Program Synthesis and Transformation : 24th International Symposi...

Logic-based Program Synthesis and Transformation : 26th International Symposi...

Logic-based Program Synthesis and Transformation : 24th International Symposi...