Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Parallel Resolution Procedure Based on Connection Graph
A Parallel Resolution Procedure Based on Connection Graph
A NEAT1 THEORY OF MARKER PASSING
A NEAT1 THEORY OF MARKER PASSING
A Model for Belief Revision ARTIFICIAL INTELLIGENCE 25
A Model for Belief Revision ARTIFICIAL INTELLIGENCE 25
A Modal Logic with Context-Dependent Inference for Non-Monotonic
A Modal Logic with Context-Dependent Inference for Non-Monotonic
A Modal Characterization of Defeasible Deontic
A Modal Characterization of Defeasible Deontic
A Logic of Implicit and ... Hector J. Levesque
A Logic of Implicit and ... Hector J. Levesque
A Logic for Hypothetical Reasoning
A Logic for Hypothetical Reasoning
A General Proof Method for ... without the Barcan Formula.*
A General Proof Method for ... without the Barcan Formula.*
A Four-Valued Semantics for Frame-Based
A Four-Valued Semantics for Frame-Based
A Decision Method for Nonmonotonic Reasoning Based on
A Decision Method for Nonmonotonic Reasoning Based on
A Customized Logic Paradigm for Reasoning
A Customized Logic Paradigm for Reasoning
A COMPARISON OF THE COMMONSENSE AND
A COMPARISON OF THE COMMONSENSE AND
A Circumscriptive Theorem Prover: Preliminary
A Circumscriptive Theorem Prover: Preliminary
A
A
? Neil Immerman and Moshe Y. Vardi
? Neil Immerman and Moshe Y. Vardi
: Mathematics for Computer Science September 9 and Massachusetts Institute of Technology
: Mathematics for Computer Science September 9 and Massachusetts Institute of Technology
: Mathematics for Computer Science September 14 and Massachusetts Institute of Technology
: Mathematics for Computer Science September 14 and Massachusetts Institute of Technology
: Mathematics for Computer Science September 14 and Massachusetts Institute of Technology
: Mathematics for Computer Science September 14 and Massachusetts Institute of Technology
: Mathematics for Computer Science March 1 and Massachusetts Institute of Technology
: Mathematics for Computer Science March 1 and Massachusetts Institute of Technology
: A Blending of Imperative and Relational Programming
: A Blending of Imperative and Relational Programming
9/15
9/15
8th lit, Quarter 2
8th lit, Quarter 2
8.6 Heaviside Step and Dirac Impulse Heaviside Function.
8.6 Heaviside Step and Dirac Impulse Heaviside Function.
8 Propositional Logic REV Feb 2014
8 Propositional Logic REV Feb 2014