[Lecture Notes in Computer Science] KI 2016: Advances in Artificial Intelligence Volume 9904 || Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems
Friedrich, Gerhard; Helmert, Malte; Wotawa, Franz
- 作者Friedrich, Gerhard; Helmert, Malte; Wotawa, Franz
- 文件大小664.51KB
- 发表时间2016
- DOI10.1007/978-3-319-46073-4_18
- 页码185-191