Cordell - PDFSEARCH.IO - Document Search Engine

Cordell
Results: 788

#	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	Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-07 15:32:17 Computing Software engineering Theoretical computer science Software testing Formal methods Software design Software bug Software quality
3	A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:10:59 Computing Data types Software engineering Type theory Mathematics Rendering Const Record Integer Tagged union Tuple Type system
4	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
5	Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 19:40:49 Scheduling Operations research Business Economy Production planning Combinatorial optimization Planning Mathematics Schedule Branch and bound Mathematical optimization Linear programming
6	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
7	A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 19:41:32 Computing Data types Software engineering Type theory Mathematics Rendering Const Record Integer Tagged union Tuple Type system
8	Chairs of Excellence Program Cordell Hull Building \| 425 Fifth Avenue North \| Nashville, Tennessee Add to Reading List Source URL: www.treasury.state.tn.us Language: English - Date: 2018-04-18 17:28:31
9	LECTURE SERIES Linda Casbon, Linda Cordell, Holly Walker│September 9 – 7:00 P.M.│Kresge, 108 Collectively, these artists represent the diversity within contemporary ceramics - from Casbon’s metaphoric Add to Reading List Source URL: www.art.msu.edu Language: English - Date: 2017-09-07 15:54:20
10	AGENDA TCRS ADMINISTRATIVE COMMITTEE March 23, 2018 9:00 a.m. First Floor Cordell Hull Building, House Hearing Room V. Add to Reading List Source URL: treasury.tn.gov - Date: 2018-03-19 17:02:33