Smith, Douglas R.

3 publications

IJCAI 1985 Reasoning by Cases and the Formation of Conditional Programs Douglas R. Smith

IJCAI 1983 A Problem Reduction Approach to Program Synthesis Douglas R. Smith

IJCAI 1981 A Design for an Automatic Programming System Douglas R. Smith