<--- Back to Details
First PageDocument Content
Research Triangle / North Carolina State University / Raleigh /  North Carolina / RTI International / Luther H. Hodges / Research park / Economy of North Carolina / Research Triangle /  North Carolina / North Carolina / Research Triangle Park
Date: 2011-11-02 12:14:55
Research Triangle
North Carolina State University
Raleigh
North Carolina
RTI International
Luther H. Hodges
Research park
Economy of North Carolina
Research Triangle
North Carolina
North Carolina
Research Triangle Park

Add to Reading List

Source URL: iu.edu

Download Document from Source Website

File Size: 243,52 KB

Share Document on Facebook

Similar Documents

Computing / Engineering / Software engineering / Software testing / Information and communications technology / Product development / Software development / Software engineer / Test automation / Software quality

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

DocID: 1xW0u - View Document

Mathematical logic / Logic / Mathematics / Model theory / Automated theorem proving / Predicate logic / Semantics / Logic programming / Resolution / First-order logic / Skolem normal form / Substitution

Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California

DocID: 1xVHV - View Document

Logic / Mathematics / Mathematical logic / Metalogic / Model theory / Syntax / Well-formed formula / First-order logic / Resolution / Logic programming / Tautology

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

Mathematical logic / Logic / Model theory / Metalogic / Predicate logic / Formal methods / Resolution / First-order logic / Skolem normal form / Automated theorem proving / Quantifier / Axiom

11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California

DocID: 1xUis - View Document

Logic / Metalogic / Mathematics / Proof theory / Model theory / Mathematical logic / Syntax / First-order logic / Well-formed formula / Formal system / Logic programming / Resolution

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