Logic-Based Program Synthesis and Transformation - 9783031167669

Logic-Based Program Synthesis and Transformation 20th Internation

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

Logic Based Program Synthesis and Transformation 12th Internation

Logic Based Program Synthesis and Transformation 13th Internation

Logic-Based Program Synthesis and Transformation 22nd Internation

Logic-Based Program Synthesis and Transformation 21st Internation

Logic-Based Program Synthesis and Transformation 23rd Internation