Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Turning Eureka Steps into Calculations in Automatic Program Synthesis. / Bundy, Alan; Smaill, A.; Hesketh, J.
Proceedings of the UK IT 90 Conference. 1990.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution