Filter your results
- 3
- 2
- 1
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 1
- 3
- 3
- 3
- 2
- 2
- 1
- 1
3 Results
|
|
sorted by
|
|
Experiments with Automated Reasoning in the ClassCICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩
Conference papers
hal-03781994v1
|
||
|
ARC: An Educational Project on Automated Reasoning in the ClassEdMedia + Innovate Learning 2022 - AACE Conferences, Jun 2022, New York, United States
Conference papers
hal-03900003v1
|
||
|
Automated Reasoning in the ClassComputer-Algebra-Rundbrief, 2022, 71, pp.21-26
Journal articles
hal-03886685v1
|