Stanford Research Park - PDFSEARCH.IO - Document Search Engine

Stanford Research Park
Results: 16

#	Item
1	Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:42:21 Mathematical logic Logic Mathematics Model theory Automated theorem proving Predicate logic Semantics Logic programming Resolution First-order logic Skolem normal form Substitution
2	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 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:36:18 Logic Mathematics Mathematical logic Metalogic Model theory Syntax Well-formed formula First-order logic Resolution Logic programming Tautology
3	11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 21:00:52 Mathematical logic Logic Model theory Metalogic Predicate logic Formal methods Resolution First-order logic Skolem normal form Automated theorem proving Quantifier Axiom
4	The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:40:45 Logic Metalogic Mathematics Proof theory Model theory Mathematical logic Syntax First-order logic Well-formed formula Formal system Logic programming Resolution
5	Pathway Bioinformatics Peter D. Karp, PhD Bioinformatics Research Group SRI International Menlo Park, CA Add to Reading List Source URL: biochem218.stanford.edu Language: English - Date: 2012-12-21 14:02:48
6	STANFORD RESEARCH INSTITUTE Menlo Park, California 94025 * USA AFOSROctober 1962 Add to Reading List Source URL: mnielsen.github.io - Date: 2015-12-03 16:00:43
7	11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 21:00:52
8	The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:40:45
9	STANFORD RESEARCH INSTITUTE Menlo Park, California 94025 * USA AFOSROctober 1962 Add to Reading List Source URL: history-computer.com Language: English - Date: 2013-11-26 15:18:57 Philosophy of mind Biocybernetics Intelligence amplification Douglas Engelbart System Concept ACT-R Nous Cybernetics Cognition Science
10	DAYS OF OPERATIONS STANFORD RESEARCH PARK TO CALIFORNIA AVE. BUSINESS DISTRICT (EASTBOUND) Add to Reading List Source URL: porterdrivecampus.stanford.edu Language: English - Date: 2014-02-27 19:20:16 Palo Alto California Stanford Marguerite Shuttle Stanford University California Avenue Palo Alto Caltrain Dumbarton Express S 42nd Street Shuttle Transportation in California California Transportation in the United States