暂无分享,去创建一个
Sylvia Wenmackers | Leon Horsten | Benci
[1] Diderik Batens,et al. A Formal Logic for Abductive Reasoning , 2006, Log. J. IGPL.