Logic-Based Program Synthesis and Transformation - 9783642205507

Alpuente - Logic-Based Program Synthesis and Transformation 20th Int - 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

Aleister Crowley and the 20th century synthesis of magick Dave Evans

Logic-Based Program Synthesis and Transformation 23rd Internation