Proceedings 12th International Workshop on Theorem proving components for Educational software - Ecole Nationale du Génie de l'Eau et de l'Environnement de Strasbourg Accéder directement au contenu
Proceedings/Recueil Des Communications Electronic Proceedings in Theoretical Computer Science Année : 2024

Proceedings 12th International Workshop on Theorem proving components for Educational software

Julien Narboux
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
CV
Walther Neuper
  • Fonction : Auteur
  • PersonId : 1372639
University of Linz - Johannes Kepler Universität Linz
Pedro Quaresma
  • Fonction : Auteur
  • PersonId : 864214
Universidade de Coimbra [Coimbra]

Domaines

Environnements Informatiques pour l'Apprentissage Humain Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
Proceedings.pdf (5.44 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Julien Narboux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04537213

Soumis le : lundi 8 avril 2024-15:39:34

Dernière modification le : samedi 20 avril 2024-18:42:45

Télécharger pour visualiser

Dates et versions

hal-04537213 , version 1 (08-04-2024)

Identifiants

Citer

Julien Narboux, Walther Neuper, Pedro Quaresma. Proceedings 12th International Workshop on Theorem proving components for Educational software. 12th International Workshop on Theorem proving components for Educational software, Electronic Proceedings in Theoretical Computer Science, 400, EPTCS, 2024, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/eptcs.400⟩. ⟨hal-04537213⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

TICE CNRS ENGEES INSA-STRASBOURG GENCI INC-CNRS SITE-ALSACE INSA-GROUPE TEL
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More