Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Green, C. Cordell. 1969. “Application of Theorem Proving to Problem Solving.” SRI Project 7494. Menlo Park, California: AI Center, SRI Center International.
Green, C. Cordell and Barstow, David R. 1978. “On Program Synthesis Knowledge.”Artificial Intelligence 10(3): 241–279.
Medress, M. F., Cooper, F. S., Forgie, J. William, Green, C. Cordell, Klatt, Dennis H., O’Malley, M. H., Neuburg, E. P., et al. 1977. “Speech Understanding Systems: Report of a Steering Committee.”Artificial Intelligence 9(3): 307–316.