Logic-Based Program Synthesis and Transformation - 9783319178219

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

Logic-Based Program Synthesis and Transformation 24th Internation

Gupta - Logic-Based Program Synthesis and Transformation 23rd Intern - X555z

Deville - Logic Program Synthesis and Transformation Proceedings of - X555z

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

Hanus - Logic-Based Program Synthesis and Transformation 18th Interna - X555z