Logic-Based Program Synthesis and Transformation - 9783319631387

Hermenegildo - Logic-Based Program Synthesis and Transformation 26th - X555z

Logic-Based Program Synthesis and Transformation 22nd Internation

Logic-Based Program Synthesis and Transformation Springer Nature

Logic-Based Program Synthesis and Transformation 21st 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