Edinburgh Research Explorer

Turning Eureka Steps into Calculations in Automatic Program Synthesis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

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 proceedingConference contribution

Harvard

Bundy, A, Smaill, A & Hesketh, J 1990, Turning Eureka Steps into Calculations in Automatic Program Synthesis. in Proceedings of the UK IT 90 Conference.

APA

Bundy, A., Smaill, A., & Hesketh, J. (1990). Turning Eureka Steps into Calculations in Automatic Program Synthesis. In Proceedings of the UK IT 90 Conference

Vancouver

Bundy A, Smaill A, Hesketh J. Turning Eureka Steps into Calculations in Automatic Program Synthesis. In Proceedings of the UK IT 90 Conference. 1990.

Author

Bundy, Alan ; Smaill, A. ; Hesketh, J./ Turning Eureka Steps into Calculations in Automatic Program Synthesis. Proceedings of the UK IT 90 Conference. 1990.