Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
curriculum vitae - School of Computing
curriculum vitae - School of Computing
COT 4210: Discrete Structures II Final Exam April 24, 2012
COT 4210: Discrete Structures II Final Exam April 24, 2012
C++ Programming Exercise Problems
C++ Programming Exercise Problems
Correspondence Theory of Truth
Correspondence Theory of Truth
coppin chapter 18.ppt
coppin chapter 18.ppt
coppin chapter 17.ppt
coppin chapter 17.ppt
coppin chapter 16.ppt
coppin chapter 16.ppt
coppin chapter 07.ppt
coppin chapter 07.ppt
COP 3503H Fall 2004 Exam #1 10/4/04
COP 3503H Fall 2004 Exam #1 10/4/04
Coordinated Topic Presentations in Information Systems Core
Coordinated Topic Presentations in Information Systems Core
Cooperative Plan Reasoning for Dialogue Systems* 1
Cooperative Plan Reasoning for Dialogue Systems* 1
Converting Sentences to Clauses
Converting Sentences to Clauses
Converting formulas into a normal form
Converting formulas into a normal form
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
CONTROL STRUCTURES (SELECTION)
CONTROL STRUCTURES (SELECTION)
Control Predicates Are Better Than Dummy
Control Predicates Are Better Than Dummy
Control Knowledge in Planning: Benefits
Control Knowledge in Planning: Benefits
Control Strategies in Planning*
Control Strategies in Planning*
Contrary-to-duty obligations
Contrary-to-duty obligations
Contextual Reasoning in the Verification
Contextual Reasoning in the Verification
Contextual Analysis of Word Meanings in Type
Contextual Analysis of Word Meanings in Type
Context-Sensitive Event Occurrence Minimisation Murray Shanahan
Context-Sensitive Event Occurrence Minimisation Murray Shanahan
Context-logical theory
Context-logical theory
Context Mereology Patrick Hayes Abstract
Context Mereology Patrick Hayes Abstract