2014年
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic
proceedings of ADDCT'14 (IJCAR 2014 workshop)
- ,
- ,
- 記述言語
- 掲載種別
- 研究論文（学術雑誌）
ソフィ トゥレ
Sophie Tourret
更新日: 2020/06/03