State of Tennessee Department of State

First Page		Document Content
Date: 2012-06-05 09:58:44 Cordell Bill Jenkins Granville Hinton Tennessee Cordell Hull Commissioner		State of Tennessee Department of State Add to Reading List Source URL: www.tn.gov Download Document from Source Website File Size: 506,19 KB Share Document on Facebook

	Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California DocID: 1xVHV - View Document
	Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001 DocID: 1xV8y - View Document
	A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave DocID: 1xUT9 - View Document
	11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California DocID: 1xUis - View Document
	Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 DocID: 1xU7j - View Document