|
The following are in reverse chronological order of publication.
Showing most recent 5 out of 6 [View All]
Coles, L.S. and Green, C. Chemistry Question-Answering, Technical Note 9. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jun 1969. [PDF, Details]
Green, C. The Application of Theorem Proving to Question-Answering Systems, Technical Note 8. AI Center, SRI International", 333 Ravenswood Ave, Menlo Park, CA 94025, Jun 1969. [PDF, Details]
Green, C., Yates, R., Raphael, B., and Rosen, C. Research in Advanced Formal Theorem-Proving Techniques, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1969. [PDF, Details]
Green, C. Application of Theorem Proving to Problem Solving, Technical Note 4. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1969. [PDF, Details]
Green, C. C. and Raphael, B. Research on Intelligent Question-Answering Systems, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1967. [PDF, Details]
| |