The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Publication Details:
Book: Proceedings of UK IT 90 Conference
Editors:Clarke, S.L.H.
Book#: MISSING
Publisher:Institute of Electrical Engineers, London
Volume:316
Pages: 221-226

Paper in Conference Proceedings #439

Title:Turning Eureka Steps into Calculations in Automatic Program Synthesis
Authors:Bundy,A; Smaill,AD; Hesketh,J
Date: 1990
Presented:
Keywords:








[Search These Pages] [DAI Home Page] [Comment]