Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Defeasible Inclusions in Low-Complexity DLs Piero A. Bonatti @ .
Defeasible Inclusions in Low-Complexity DLs Piero A. Bonatti @ .
Default Theory of Defeasible Entailment Alexander Bochman
Default Theory of Defeasible Entailment Alexander Bochman
DEFAULT REASONING USING MONOTONIC LOGIC: A Modest Proposal Jane Terry Nutter
DEFAULT REASONING USING MONOTONIC LOGIC: A Modest Proposal Jane Terry Nutter
Deepak Kumar Stuart C. Shapiro Department of Math. & Computer Science
Deepak Kumar Stuart C. Shapiro Department of Math. & Computer Science
DeductiveReasoningShort
DeductiveReasoningShort
Deductive Verification of Advanced Out-of-Order Microprocessors Carnegie Mellon University
Deductive Verification of Advanced Out-of-Order Microprocessors Carnegie Mellon University
Deductive reasoning
Deductive reasoning
Deductive Reasoning
Deductive Reasoning
Deductive Reasoning
Deductive Reasoning
Deductive Logic--a Description - CRYSTAL
Deductive Logic--a Description - CRYSTAL
Deductive logic is a form of reasoning that assures us
Deductive logic is a form of reasoning that assures us
Deductive Arguments and Inference Rules
Deductive Arguments and Inference Rules
Deduction.PPT
Deduction.PPT
Deduction-based Refinement Planning Werner Stephan and Susanne Biundo
Deduction-based Refinement Planning Werner Stephan and Susanne Biundo
Decomposing the Proof of Correctness of Pipelined Microprocessors
Decomposing the Proof of Correctness of Pipelined Microprocessors
Declarative Solver Development: Case Studies
Declarative Solver Development: Case Studies
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs and Zeinab Bahmani
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs and Zeinab Bahmani
Declarative Debugging in Constraint Logic Programming: the Cover Relation
Declarative Debugging in Constraint Logic Programming: the Cover Relation
Declarative Configuration Applied to Course Scheduling S.
Declarative Configuration Applied to Course Scheduling S.
Declarativ e Debugging G
Declarativ e Debugging G
Decision Making CMSC 201 Chang (rev. 2015-02-05)
Decision Making CMSC 201 Chang (rev. 2015-02-05)
Deciding Combinations of Theories
Deciding Combinations of Theories
Deciding Bit-Vector Arithmetic with Abstraction
Deciding Bit-Vector Arithmetic with Abstraction
Decidable Theories of the Ordering of Natural Numbers with Unary
Decidable Theories of the Ordering of Natural Numbers with Unary