Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Representing Clarification Dialogues in a Speaker/ Hearer Model Yafa Al-Raheb A: erm
Representing Clarification Dialogues in a Speaker/ Hearer Model Yafa Al-Raheb A: erm
Representing and Using Interschema Knowledge in Cooperative
Representing and Using Interschema Knowledge in Cooperative
Representing and Reasoning About Commitments in Business Processes Nirmit Desai
Representing and Reasoning About Commitments in Business Processes Nirmit Desai
Representing Actions- I : (Laws,
Representing Actions- I : (Laws,
Representations for KBS: Logic: When Sound Deduction is Required
Representations for KBS: Logic: When Sound Deduction is Required
Representation of Kleene Algebra with Tests
Representation of Kleene Algebra with Tests
Representation Dependence in Probabilistic Inference Joseph Y. Halpern
Representation Dependence in Probabilistic Inference Joseph Y. Halpern
Representation
Representation
Represent and Infer Human Theory of Mind for Human-Robot Interaction Yibiao Zhao
Represent and Infer Human Theory of Mind for Human-Robot Interaction Yibiao Zhao
Report3 Propositional Logic
Report3 Propositional Logic
Report 1 - People at VT Computer Science
Report 1 - People at VT Computer Science
report - Robert
report - Robert
Replication, Sharing, Deletion, Lists, and Numerals:
Replication, Sharing, Deletion, Lists, and Numerals:
REPLETENESS REGULAR MEASURE AND SUPPORT FOR
REPLETENESS REGULAR MEASURE AND SUPPORT FOR
Replacements in Non-Ground Answer-Set Programming
Replacements in Non-Ground Answer-Set Programming
Rene-Cori-Daniel-Lascar-Mathematical-Logic -A-Course-with-Exercises-Part-I -Propositional-Calculus-Boolean-Algebras-Predicate-Calculus-Completeness-Theorems-Oxford-University-Pres
Rene-Cori-Daniel-Lascar-Mathematical-Logic -A-Course-with-Exercises-Part-I -Propositional-Calculus-Boolean-Algebras-Predicate-Calculus-Completeness-Theorems-Oxford-University-Pres
REMARKS ON STOIC DEDUCTION The purpose of
REMARKS ON STOIC DEDUCTION The purpose of
REMARKS ON PUNCTUAL LOCAL CONNECTEDNESS PETER JOHNSTONE
REMARKS ON PUNCTUAL LOCAL CONNECTEDNESS PETER JOHNSTONE
Remarks on Intuitionistic Modal Logics Observaciones sobre L´ogicas Modales Intuicionistas
Remarks on Intuitionistic Modal Logics Observaciones sobre L´ogicas Modales Intuicionistas
Rely-Guarantee References for Refinement Types
Rely-Guarantee References for Refinement Types
Religion and Pragmatism
Religion and Pragmatism
Relevance, form and formalization, truth tables
Relevance, form and formalization, truth tables
Relevance Logic as an Information-Based Logic J. Michael Dunn Indiana University – Bloomington
Relevance Logic as an Information-Based Logic J. Michael Dunn Indiana University – Bloomington
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Relentful Strategic Reasoning in Alternating-Time Temporal Logic