Logic-Based Program Synthesis and Transformation - 9783319274355

Logic-Based Program Synthesis and Transformation 25th Internation

Logic-based Program Synthesis and Transformation : 25th International Symposi...

Logic-Based Program Synthesis and Transformation: 25th International Symposium,

Logic-based Program Synthesis and Transformation : 25th International Symposi...

Alpuente - Logic-Based Program Synthesis and Transformation 20th Int - X555z

Proietti - Logic-Based Program Synthesis and Transformation 24th Int - X555z

Leuschel - Logic Based Program Synthesis and Transformation 12th Int - X555z