Options
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
Fuenmayor, David; Benzmüller, Christoph (2020): Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis. arXiv doi: 10.48550/arxiv.2007.01019.
Author:
Publisher Information:
Year of publication:
2020
Pages:
Language:
English
Type:
Preprint
Activation date:
May 23, 2024
Permalink
https://fis.uni-bamberg.de/handle/uniba/95347