Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Anytime Inference in Probabilistic Logic Programs with T -Compilation
Anytime Inference in Probabilistic Logic Programs with T -Compilation
Anytime Approximate Modal Reasoning Fabio Massacci
Anytime Approximate Modal Reasoning Fabio Massacci
Anti-Unification of Concepts in Description Logic EL Boris Konev Temur Kutsia
Anti-Unification of Concepts in Description Logic EL Boris Konev Temur Kutsia
Admissible and Restrained Revision Richard Booth Thomas Meyer
Admissible and Restrained Revision Richard Booth Thomas Meyer
Administrative Science Quarterly Wonjoon Chung
Administrative Science Quarterly Wonjoon Chung
Adjective Representation in Contextual Vocabulary Acquisition
Adjective Representation in Contextual Vocabulary Acquisition
Adding Time and Intervals to Procedural and Hierarchical Control Specifications
Adding Time and Intervals to Procedural and Hierarchical Control Specifications
adder2
adder2
Addendum #1 RFP #19-15 Facilities Master Plan
Addendum #1 RFP #19-15 Facilities Master Plan
Adapting I/O Parameters of Web Services to Enhance Composition
Adapting I/O Parameters of Web Services to Enhance Composition
Actors with Multi-Headed Message Receive Patterns Martin Sulzmann , Edmund S. L. Lam
Actors with Multi-Headed Message Receive Patterns Martin Sulzmann , Edmund S. L. Lam
Actions and Events in Interval Temporal Logic
Actions and Events in Interval Temporal Logic
Actions with Indirect Effects (Extended Abstract)
Actions with Indirect Effects (Extended Abstract)
Action-Based Alternating Transition Systems for Arguments about Action
Action-Based Alternating Transition Systems for Arguments about Action
Action, Norms, and Practical Reasoning
Action, Norms, and Practical Reasoning
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
Acta Mathematica Academiae Paedagogicae Ny´ıregyh´ aziensis 31 ON MODAL
Acta Mathematica Academiae Paedagogicae Ny´ıregyh´ aziensis 31 ON MODAL
Act III the ending
Act III the ending
ACSL: ANSI/ISO C Specification Language
ACSL: ANSI/ISO C Specification Language
ACSL: ANSI C Specification Language - Frama-C
ACSL: ANSI C Specification Language - Frama-C
Acknowledgments This research is especially dedicated to my son, Juan David... represents time spent away from him. Without his understanding...
Acknowledgments This research is especially dedicated to my son, Juan David... represents time spent away from him. Without his understanding...
Accuplacer Reading Comprehension Proficiency Statements
Accuplacer Reading Comprehension Proficiency Statements
Access Control on the Web via Proof
Access Control on the Web via Proof
Academic Writing and Subordination
Academic Writing and Subordination