Proceedings 12th International Workshop on Theorem proving components for Educational software
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|
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