熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 3 筆, 頁數 1 / 1
呈現:
KI 2019: Advances in Artificial Intelligence: 42nd German Conference on Ai, Kassel, Germany, September 23-26, 2019, Proceedings
This book constitutes the refereed proceedings of the 42nd German Conference on Artificial Intellige... more |
|||
Rules and Reasoning: Second International Joint Conference, Ruleml+rr 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, ... more |
|||
Granularity Analysis for Tutoring Mathematical Proofs
|