Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Little Logic “There Exists” and “For All”
A Little Logic “There Exists” and “For All”
A Little Logic “There Exists” and “For All”
A Little Logic “There Exists” and “For All”
A Lattice-based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
A Lattice-based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing Fahiem Bacchus
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing Fahiem Bacchus
A Hybrid Approach to Pattern Classification Sergio Alejandro G´omez
A Hybrid Approach to Pattern Classification Sergio Alejandro G´omez
A Hoare-Style Proof System for Robot Programs Yongmei Liu
A Hoare-Style Proof System for Robot Programs Yongmei Liu
A History of Natural Deduction and Elementary Logic Textbooks Francis Jeffry Pelletier 1
A History of Natural Deduction and Elementary Logic Textbooks Francis Jeffry Pelletier 1
A Guide to Proof-Writing: Direct & Indirect Methods
A Guide to Proof-Writing: Direct & Indirect Methods
A glossary of logic terms
A glossary of logic terms
A geo-logical solution to the lottery paradox, with applications to
A geo-logical solution to the lottery paradox, with applications to
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints Yi-Dong Shen
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints Yi-Dong Shen
A General and Flexible Access-Control System for the Web
A General and Flexible Access-Control System for the Web
A Game-Theoretic Approach to Constraint Satisfaction Phokion G. Kolaitis Moshe Y. Vardi
A Game-Theoretic Approach to Constraint Satisfaction Phokion G. Kolaitis Moshe Y. Vardi
A FUZZY LOGIC BASED INTELLIGENT NEGOTIATION AGENT
A FUZZY LOGIC BASED INTELLIGENT NEGOTIATION AGENT
A Fully Verified Executable LTL Model Checker
A Fully Verified Executable LTL Model Checker
A Framework for Representing and Solving NP Search Problems
A Framework for Representing and Solving NP Search Problems
A Framework for Integration of Logical and Probabilistic Knowledge
A Framework for Integration of Logical and Probabilistic Knowledge
A Framework for Inherent Vacuity Dana Fisman , Orna Kupferman , Sarai Sheinvald-Faragy
A Framework for Inherent Vacuity Dana Fisman , Orna Kupferman , Sarai Sheinvald-Faragy
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
A Formal Analysis of Relevance
A Formal Analysis of Relevance
A Formal Account of Nondeterministic and Failed Actions
A Formal Account of Nondeterministic and Failed Actions
A First-Order Theory of Stanislavskian Scene Analysis Leora Morgenstern
A First-Order Theory of Stanislavskian Scene Analysis Leora Morgenstern
A First-Order Theory of Communicating First-Order Formulas Ernest Davis
A First-Order Theory of Communicating First-Order Formulas Ernest Davis
A few weather myths dispelled…
A few weather myths dispelled…