Automated Reasoning in the Class - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Computer-Algebra-Rundbrief Année : 2022

Automated Reasoning in the Class

Domaines

Calcul formel [cs.SC] Education
Fichier principal
Vignette du fichier
paper.pdf (1.42 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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 : lundi 8 avril 2024-23:00:03

Archivage à long terme le : mardi 7 mars 2023-19:09:26

Télécharger pour visualiser

Dates et versions

hal-03886685 , version 1 (06-12-2022)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

TICE CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
29 Consultations
101 Téléchargements

Partager

Gmail Facebook X LinkedIn More