Logic-Based Program Synthesis and Transformation - 9783319274355

Logic-Based Program Synthesis and Transformation 30th Internation

Falaschi - Logic-Based Program Synthesis and Transformation 25th Int - X555z

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