Autoepigraph

swMATH33594MaRDI QIDQ45303

No author found.

Described by source

• A model-based theorem prover for epistemic graphs for argumentation

This page was built for software: Autoepigraph