Logic-Based Program Synthesis and Transformation - 9783031167669

Logic-Based Program Synthesis and Transformation 32nd Internation

Bruynooghe - Logic Based Program Synthesis and Transformation 13th I - X555z

Logic-Based Program Synthesis and Transformation 20th Internation

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

Fribourg - Logic Program Synthesis and Transformation - Meta-Programmi - X555z

Logic Based Program Synthesis and Transformation 12th Internation

Logic Based Program Synthesis and Transformation 11th Internation