Automated Reasoning in the Class
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Article Dans Une Revue
Computer-Algebra-Rundbrief
Année : 2022
Sorin Stratulat : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03886685
Soumis le : mardi 6 décembre 2022-14:14:24
Dernière modification le : mercredi 24 juillet 2024-10:30:03
Archivage à long terme le : mardi 7 mars 2023-19:09:26
Dates et versions
Identifiants
- HAL Id : hal-03886685 , version 1
Citer
Isabela Drămnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat. Automated Reasoning in the Class. Computer-Algebra-Rundbrief, 2022, 71, pp.21-26. ⟨hal-03886685⟩
51
Consultations
132
Téléchargements