Proceedings of CILC 2020. CEUR Workshop Proceedings, 2020.

Book title Buchtitel

Editor Herausgeber_in

Calimeri, Francesco

Publisher Verlag

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).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Lellmann, Björn	Theorem Proving for Lewis Logics of Counterfactual Reasoning	Konferenzbeitrag Inproceedings	2020