Green, C. Cordell

4 publications

IJCAI 1979 Results in Knowledge-Based Program Synthesis C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold

IJCAI 1975 Inferring LISP Programs from Examples David E. Shaw, William R. Swartout, C. Cordell Green

IJCAI 1975 Some Rules for the Automatic Synthesis of Programs C. Cordell Green, David R. Barstow

IJCAI 1969 Application of Theorem Proving to Problem Solving C. Cordell Green