Search - Archive ouverte HAL Access content directly

Filter your results

3 Results
Image document

Experiments with Automated Reasoning in the Class

Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
CICM 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
Image document

ARC: An Educational Project on Automated Reasoning in the Class

Isabela Drămnesc , Tudor Jebelean , Erika Ábrahám , Gábor Kusper , Sorin Stratulat
EdMedia + Innovate Learning 2022 - AACE Conferences, Jun 2022, New York, United States
Conference papers hal-03900003v1
Image document

Automated Reasoning in the Class

Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
Computer-Algebra-Rundbrief, 2022, 71, pp.21-26
Journal articles hal-03886685v1