Turning Eureka Steps into Calculations in Automatic Program Synthesis

Alan Bundy; A. Smaill; J. Hesketh

Turning Eureka Steps into Calculations in Automatic Program Synthesis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Export citation
[ RIS ]
[ BibTeX ]

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 proceeding › Conference 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.