Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Speech act theory and the analysis of conversations.
Speech act theory and the analysis of conversations.
specifications: internal specifications: external
specifications: internal specifications: external
Specification and Refinement of Networks of Asynchronously Communicating Agents Using
Specification and Refinement of Networks of Asynchronously Communicating Agents Using
Specification of Workflow Processes Using the Action Description Language C
Specification of Workflow Processes Using the Action Description Language C
Specific-to-General Learning for Temporal Events Alan Fern
Specific-to-General Learning for Temporal Events Alan Fern
Special Test 1 - Personal Web Pages
Special Test 1 - Personal Web Pages
Speaking - Debate Rubric
Speaking - Debate Rubric
Spatial and Temporal Reasoning: Beyond Allen’s Calculus G´erard Ligozat Debasis Mitra
Spatial and Temporal Reasoning: Beyond Allen’s Calculus G´erard Ligozat Debasis Mitra
SPARC – sorted ASP with Consistency Restoring Rules Evgenii Balai , Michael Gelfond
SPARC – sorted ASP with Consistency Restoring Rules Evgenii Balai , Michael Gelfond
SPARC – Sorted ASP with Consistency Restoring Rules Evgenii Balai , Michael Gelfond
SPARC – Sorted ASP with Consistency Restoring Rules Evgenii Balai , Michael Gelfond
Space Complexity
Space Complexity
Soviet Photo
Soviet Photo
Table of Logical Identities - Robert Heckendorn
Table of Logical Identities - Robert Heckendorn
T H E P H I L O S... Francis Jeffry Pelletier
T H E P H I L O S... Francis Jeffry Pelletier
T E C H
T E C H
T - Degree 36 - Computer Engineering
T - Degree 36 - Computer Engineering
Systems of Formal Deduction
Systems of Formal Deduction
Systems A family of Non-Monotonic Inference Logics
Systems A family of Non-Monotonic Inference Logics
systematisation of film music's functions (PowerPoint
systematisation of film music's functions (PowerPoint
Systematic Test Case Generation Overview Two basic uses of
Systematic Test Case Generation Overview Two basic uses of
Systematic Analysis of Defenses against Return-Oriented Programming Please share
Systematic Analysis of Defenses against Return-Oriented Programming Please share
Synthesizing Distinguishing Formulae for Real Time Systems
Synthesizing Distinguishing Formulae for Real Time Systems
Synthesis of Trigger Properties ∗ Orna Kupferman Moshe Vardi
Synthesis of Trigger Properties ∗ Orna Kupferman Moshe Vardi
Synthesis of provably correct controllers for autonomous vehicles in urban environments
Synthesis of provably correct controllers for autonomous vehicles in urban environments