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

2 July 2020

Christoph Benzmüller

ArXiv (abs)PDF HTML

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

Title
No papers