ST_Cover_Background_ECR-4c

First Page		Document Content
Date: 2014-02-20 18:30:58 SamTrans Caltrain Menlo Park California Menlo Park Transportation in California Transportation in the United States California		ST_Cover_Background_ECR-4c Add to Reading List Source URL: www.samtrans.com Download Document from Source Website File Size: 131,93 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
	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California DocID: 1xUl1 - 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
	Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA DocID: 1xU70 - View Document
	The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California DocID: 1xTN7 - View Document