Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
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…
A Faithful Integration of Description Logics with Logic Programming
A Faithful Integration of Description Logics with Logic Programming
A draft of The R language definition
A draft of The R language definition
A Dictionary for Foundations of Analysis Logic
A Dictionary for Foundations of Analysis Logic
A Description Logic of Change
A Description Logic of Change
A DEONTIC COUNTERPART OF LEWIS’ S1
A DEONTIC COUNTERPART OF LEWIS’ S1
A Demand-driven Algorithm for Generating Minimal Models Rachel Ben-Eliyahu - Zohary
A Demand-driven Algorithm for Generating Minimal Models Rachel Ben-Eliyahu - Zohary
A Defeasible Logic Programming System for the Web
A Defeasible Logic Programming System for the Web
A Declarative View of Inheritance in Logic Programming
A Declarative View of Inheritance in Logic Programming
A Decision Procedure for a Sublanguage of Set Theory Involving
A Decision Procedure for a Sublanguage of Set Theory Involving
A Decision Making and Problem Analysis Supporting System Norbert Sram
A Decision Making and Problem Analysis Supporting System Norbert Sram
A Decidable Temporal Logic of Repeating Values ? St´ephane Demri
A Decidable Temporal Logic of Repeating Values ? St´ephane Demri
A Decidable Logic for Time Intervals: Propositional Neighborhood Logic Angelo Montanari
A Decidable Logic for Time Intervals: Propositional Neighborhood Logic Angelo Montanari
A Davidsonian Semantics for Comparative Adjectives
A Davidsonian Semantics for Comparative Adjectives
A COUNTEREXAMPLE TO A RESULT CONCERNING CLOSURE OPERATORS
A COUNTEREXAMPLE TO A RESULT CONCERNING CLOSURE OPERATORS
A countably categorical theory which is not G
A countably categorical theory which is not G
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty
a Copy(docx format)
a Copy(docx format)
A Context Broker for Building Smart Meeting Rooms
A Context Broker for Building Smart Meeting Rooms
A Constructive Argumentation Framework Souhila Kaci Yakoub Salhi
A Constructive Argumentation Framework Souhila Kaci Yakoub Salhi