Towards Synthesis of Programs in the Framework of Partial Deduc tion (1989)

by J Komorowski
Venue:Proc. Workshop on Automating Software Design. X l t h Int. Joint Conf. on Artif. Intelligence