Bruynooghe - Logic Based Program Synthesis and Transformation 13th I - X555z

Logic-Based Program Synthesis and Transformation - 9783030988685

Logic-Based Program Synthesis and Transformation - 9783319141244

Logic-Based Program Synthesis and Transformation - 9783642381966

Logic-Based Program Synthesis and Transformation - 9783642322105

Logic Program Synthesis and Transformation Proceedings of LOPSTR

Logic-Based Program Synthesis and Transformation 24th Internation

Digital Computer Design: Logic, Circuitry, and Synthesis / Edward Braun / 1963