Logic-Based Program Synthesis and Transformation 20th Internation

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

Logic-Based Program Synthesis and Transformation 23rd Internation

Logic-Based Program Synthesis and Transformation 22nd Internation

Logic-Based Program Synthesis and Transformation - 9783030988685

Logic Based Program Synthesis and Transformation 12th Internation

Logic-Based Program Synthesis and Transformation 21st Internation

Logic Based Program Synthesis and Transformation 11th Internation