Normal view
MARC view
Fred Mesnard, Peter J. Stuckey (Personal Name)
Machine generated authority record
Work cat.: (OSt)1637753: Fred Mesnard, Peter J. Stuckey, Logic-Based Program Synthesis and Transformation