Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Resolution in Propositional and First
Resolution in Propositional and First
Resolution and Clause Learning for Multi
Resolution and Clause Learning for Multi
Resistance to Corruption of Strategic Argumentation Michael J. Maher
Resistance to Corruption of Strategic Argumentation Michael J. Maher
Reservoir Operation Modelling with Fuzzy Logic
Reservoir Operation Modelling with Fuzzy Logic
Researching the Impossible?
Researching the Impossible?
Research Report AI–1996–01 Natural Language Plurals in Logic Programming Queries
Research Report AI–1996–01 Natural Language Plurals in Logic Programming Queries
Research Report AI–1994–09 Guo-Qiang Zhang Department of Computer Science University of Georgia
Research Report AI–1994–09 Guo-Qiang Zhang Department of Computer Science University of Georgia
Research Report AI–1994–08 Attunement to Constraints in Nonmonotonic Reasoning
Research Report AI–1994–08 Attunement to Constraints in Nonmonotonic Reasoning
Research Report AI–1994-07 William C. Rounds Artificial Intelligence Laboratory University of Michigan
Research Report AI–1994-07 William C. Rounds Artificial Intelligence Laboratory University of Michigan
Research Report AI-1992-03 Michael A. Covington Artificial Intelligence Programs The University of Georgia
Research Report AI-1992-03 Michael A. Covington Artificial Intelligence Programs The University of Georgia
Research Essay Reseach assessment as it relates to HLTH.
Research Essay Reseach assessment as it relates to HLTH.
Research Article Truth Degrees Theory and Approximate Reasoning in
Research Article Truth Degrees Theory and Approximate Reasoning in
Research Article On Intuitionistic Fuzzy Context-Free Languages Jianhua Jin, Qingguo Li,
Research Article On Intuitionistic Fuzzy Context-Free Languages Jianhua Jin, Qingguo Li,
Research Article Bounded Model Checking of ETL Cooperating with
Research Article Bounded Model Checking of ETL Cooperating with
Research Article A Unified Framework for DPLL( Min Zhou, Fei He,
Research Article A Unified Framework for DPLL( Min Zhou, Fei He,
Research and Methodology - University of Hawaii at Manoa
Research and Methodology - University of Hawaii at Manoa
Requirements of visualization tools for scientific applications on the grid
Requirements of visualization tools for scientific applications on the grid
Request for Class Project Waiver of IRB Application
Request for Class Project Waiver of IRB Application
Reprinted from the Journal of the Institution of Electronics
Reprinted from the Journal of the Institution of Electronics
reprinted from the Proc. of the Second International Conference... of Knowledge Representation and Reasoning, Cambridge, MA April, 1991
reprinted from the Proc. of the Second International Conference... of Knowledge Representation and Reasoning, Cambridge, MA April, 1991
Representing Strategies for the Connection Calculus in Rewriting Logic Bjarne Holen
Representing Strategies for the Connection Calculus in Rewriting Logic Bjarne Holen
Representing Simple Trajectories as Oriented Curves
Representing Simple Trajectories as Oriented Curves
Representing Multiple Theories P. Pandurang Nayak
Representing Multiple Theories P. Pandurang Nayak
Representing Configuration Knowledge With Weight Constraint Rules*
Representing Configuration Knowledge With Weight Constraint Rules*