TheoremKB : une base de connaissance des résultats mathématiques - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Mémoires D'étudiants -- Hal-Inria+ Année : 2022

TheoremKB : une base de connaissance des résultats mathématiques

Fichier principal
Vignette du fichier
BrihmoucheYacine_rapport.pdf (2.1 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03897168 , version 1 (11-01-2023)

Identifiants

  • HAL Id : hal-03897168 , version 1

Citer

Yacine Brihmouche. TheoremKB : une base de connaissance des résultats mathématiques. Informatique [cs]. 2022. ⟨hal-03897168⟩
61 Consultations
47 Téléchargements

Partager

Gmail Facebook X LinkedIn More