Proceedings of CILC 2020. CEUR Workshop Proceedings, 2020.
Book title Buchtitel
Proceedings of CILC 2020. CEUR Workshop Proceedings, 2020.
Editor Herausgeber_in
Publisher Herausgeber
Creative Commons License Attribution 4.0 International (CC BY 4.0).
Series Schriftenreihe
CEUR Workshop Proceedings
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Lellmann, Björn ; Calimeri, Francesco | Theorem Proving for Lewis Logics of Counterfactual Reasoning | Konferenzbeitrag Inproceedings | 2020 |