Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Metric for Trusted Systems A. Jsang S.J. Knapskog
A Metric for Trusted Systems A. Jsang S.J. Knapskog
A Method for the Development of Totally Correct Shared-State Parallel Programs
A Method for the Development of Totally Correct Shared-State Parallel Programs
A METHOD FOR EVALUATING AND STANDARDIZING ONTOLOGIES by Ali Patrice Seyed
A METHOD FOR EVALUATING AND STANDARDIZING ONTOLOGIES by Ali Patrice Seyed
A Meta-Level Inference Architecture for Contexts Abstract
A Meta-Level Inference Architecture for Contexts Abstract
A Machine-Checked Proof for a Translation of Event
A Machine-Checked Proof for a Translation of Event
A logical way to find high probability pedigrees
A logical way to find high probability pedigrees
A Logical Study of Partial Entailment Yi Zhou Yan Zhang
A Logical Study of Partial Entailment Yi Zhou Yan Zhang
a logical primer - Westminster College
a logical primer - Westminster College
A LOGICAL MODEL OF HCP ANATOLY D. PLOTNIKOV
A LOGICAL MODEL OF HCP ANATOLY D. PLOTNIKOV
A LOGICAL MODEL DECISION-MAKING Department of Cmputer Science and Autmation
A LOGICAL MODEL DECISION-MAKING Department of Cmputer Science and Autmation
A Logical Framework to Represent and Reason about Ana Casali
A Logical Framework to Represent and Reason about Ana Casali
A Logical Framework for Modularity of Ontologies
A Logical Framework for Modularity of Ontologies
A Logic-based Approach to Dynamic Programming Steffen H¨olldobler
A Logic-based Approach to Dynamic Programming Steffen H¨olldobler
A Logic-based Approach to Decision Making Magdalena Ivanovska and Martin Giese
A Logic-based Approach to Decision Making Magdalena Ivanovska and Martin Giese
A Logic-based Approach to Decision Making (extended version)
A Logic-based Approach to Decision Making (extended version)
A Logic-based Approach to Combinatorial Testing with Constraints
A Logic-based Approach to Combinatorial Testing with Constraints
A Logic Program Characterization of Causal Theories
A Logic Program Characterization of Causal Theories
A Logic of Limited Belief for Reasoning with Disjunctive Information
A Logic of Limited Belief for Reasoning with Disjunctive Information
A Logic of Limited Belief for Reasoning with Disjunctive Information
A Logic of Limited Belief for Reasoning with Disjunctive Information
A Logic of Branching Histories with a Shared Linear Time... Brandon Bennett
A Logic of Branching Histories with a Shared Linear Time... Brandon Bennett
A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro
A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro
A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro
A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro
A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro
A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro
A Logic of Agent Programs N. Alechina M. Dastani B. S. Logan
A Logic of Agent Programs N. Alechina M. Dastani B. S. Logan