TheoremKB : une base de connaissance des résultats mathématiques
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Yacine Brihmouche : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03897168
Soumis le : mercredi 11 janvier 2023-11:06:15
Dernière modification le : vendredi 19 avril 2024-16:18:58
Archivage à long terme le : mercredi 12 avril 2023-18:18:45