Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Module #1: The Fundamentals of Logic
Module #1: The Fundamentals of Logic
Modular Systems with Preferences Alireza Ensan and Eugenia Ternovska Simon Fraser University Canada
Modular Systems with Preferences Alireza Ensan and Eugenia Ternovska Simon Fraser University Canada
Modular Reuse of Ontologies: Theory and Practice
Modular Reuse of Ontologies: Theory and Practice
Modular Multiset Rewriting in Focused Linear Logic
Modular Multiset Rewriting in Focused Linear Logic
Modular Multiset Rewriting in Focused Linear Logic
Modular Multiset Rewriting in Focused Linear Logic
Modular Data Structure Verification Viktor Kuncak
Modular Data Structure Verification Viktor Kuncak
ModGen: Theorem Proving by Model ... Sun Kim Hantao L&hang
ModGen: Theorem Proving by Model ... Sun Kim Hantao L&hang
Models of Action Concurrency in Temporal Planning Jussi Rintanen
Models of Action Concurrency in Temporal Planning Jussi Rintanen
Modelling The Response Of Cars Travelling Along A Straight
Modelling The Response Of Cars Travelling Along A Straight
Modelling Checkpointing and Recovery Within UNITY Zhiming Liu University of Warwick
Modelling Checkpointing and Recovery Within UNITY Zhiming Liu University of Warwick
Modeling Speech Acts and Joint Intentions in Markov Logic
Modeling Speech Acts and Joint Intentions in Markov Logic
Modeling Legal Rules Please share
Modeling Legal Rules Please share
Modeling Datalog Assertion and Retraction in Linear Logic Edmund S. L. Lam and
Modeling Datalog Assertion and Retraction in Linear Logic Edmund S. L. Lam and
Modeling Attempt and Action Failure in Probabilistic stit Logic
Modeling Attempt and Action Failure in Probabilistic stit Logic
Model-theoretic complexity of automatic structures Please share
Model-theoretic complexity of automatic structures Please share
Model-Theoretic Characterization of Asher and Vieu’s Ontology of Mereotopology Torsten Hahmann
Model-Theoretic Characterization of Asher and Vieu’s Ontology of Mereotopology Torsten Hahmann
Model-Preference Default Theories
Model-Preference Default Theories
Model-Driven Verifying Compilation of Synchronous Distributed Applications Sagar Chaki, James Edmondson
Model-Driven Verifying Compilation of Synchronous Distributed Applications Sagar Chaki, James Edmondson
Model-Checking Memory Requirements of Resource-Bounded Reasoners A. Albore N. Alechina P. Bertoli
Model-Checking Memory Requirements of Resource-Bounded Reasoners A. Albore N. Alechina P. Bertoli
Model Counting in Product Configuration
Model Counting in Product Configuration
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture
Model Checking Temporal Logics of Knowledge in Distributed Systems Kaile Su
Model Checking Temporal Logics of Knowledge in Distributed Systems Kaile Su
Model Checking on Trees with Path Equivalences ⋆ Rajeev Alur, Pavol ˇ
Model Checking on Trees with Path Equivalences ⋆ Rajeev Alur, Pavol ˇ
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions