Contributions to Proceedings:

B. Lellmann et al.:
"VINTE: An implementation of internal calculi for Lewis´ logics of counterfactual reasoning";
in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017. Springer / Lecture Notes in Computer Science", 10501; Springer LNCS, 2017, ISBN: 978-3-319-66901-4, 149 - 159.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.