Stanford Research Systems - PDFSEARCH.IO - Document Search Engine

Stanford Research Systems
Results: 62

#	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	Microarchitecture of a High-Radix Router John Kim, William J. Dally, Brian Towles1, Amit K. Gupta 1 Computer Systems Laboratory D.E. Shaw Research and Development Stanford University, Stanford, CA 94305 Add to Reading List Source URL: cva.stanford.edu Language: English
6	An Overview of Query Optimization in Relational Systems Surajit Chaudhuri Microsoft Research Add to Reading List Source URL: web.stanford.edu - Date: 2014-01-08 15:02:41
7	Journal of Consciousness Exploration & Research\| March 2011 \| Vol. 2 \| Issue 2 \| ppNils, N. J. Human Consciousness and Selfhood: Potential Underpinnings and Compatibility with Artificial Complex Systems Com Add to Reading List Source URL: ai.stanford.edu - Date: 2011-03-28 23:51:51
8	Understanding Research Nils J. Nilsson, SRI International 1977 IJCAI Panel on Speech Understanding Systems Artificial Intelligence has recently completed an extensive and coordinated exploration into the terra incognita Add to Reading List Source URL: ai.stanford.edu - Date: 2005-02-22 19:45:42
9	www.thinkSRS.com RGA Replacement Ionizer Kit Ionizer Replacement kit for the RGA100, RGA200 and RGA300 (SRS Part# O100RI) The Ionizer Replacement kit (SRS# O100RI) contains all the parts needed to completely replace the Add to Reading List Source URL: www.thinksrs.com Language: English - Date: 2015-08-28 18:09:53 Mass spectrometry Residual gas analyzer Ionizer Stanford Research Systems
10	Stanford University Telephone Screening of Potential Subjects TEM-8 Research Compliance Office Template - Phone Screen Level 1 Add to Reading List Source URL: humansubjects.stanford.edu Language: English - Date: 2016-04-12 01:21:48 Futures studies Prediction Systems thinking Technology forecasting Theories Question Screening Human communication Interpersonal communication Medicine Job interview