Higher-order Logic as Lingua Franca -- Integrating Argumentative
  Discourse and Deep Logical Analysis

Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis

Papers citing "Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis"

Title
No papers