Proceedings of CILC 2020. CEUR Workshop Proceedings, 2020.

Book title Buchtitel

Editor Herausgeber_in

Calimeri, Francesco

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

RIS EndNote Bibtex Send via email

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