Bertram Raphael - PDFSEARCH.IO - Document Search Engine

Bertram Raphael
Results: 4

#	Item
1	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
2	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
3	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
4	http://oac.cdlib.org/findaid/ark:/13030/kt2s20358k No online items Guide to "Shakey the Robot" [videorecording] Daniel Hartwig Stanford University. Libraries.Department of Special Collections and University Archives Add to Reading List Source URL: pdf.oac.cdlib.org Language: English - Date: 2015-01-28 00:03:28 Year of birth missing Nils Nilsson Charles Rosen Richard Fikes Bertram Raphael Stanford University Artificial intelligence SRI International Shakey the robot

UPDATE