Logic-Based Program Synthesis and Transformation - 9783031167669

Logic-Based Program Synthesis and Transformation 22nd Internation

Villanueva - Logic-Based Program Synthesis and Transformation 32nd I - X555z

Logic-Based Program Synthesis and Transformation Springer Nature

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