Logic-Based Program Synthesis and Transformation - 9783030684457

Fernndez - Logic-Based Program Synthesis and Transformation 30th In - X555z

Logic-Based Program Synthesis and Transformation 22nd Internation

Logic-Based Program Synthesis and Transformation 31st Internation

Logic-Based Program Synthesis and Transformation 32nd Internation

Logic-Based Program Synthesis and Transformation 29th Internation

Logic-Based Program Synthesis and Transformation 27th Internation

Logic-Based Program Synthesis and Transformation 25th Internation