Machine-checked computer-aided mathematics - l'unam - université nantes angers le mans Accéder directement au contenu
Hdr Année : 2021

Machine-checked computer-aided mathematics

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
memoir_with_cover.pdf (1.16 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Assia Mahboubi  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-03107626

Soumis le : mercredi 13 janvier 2021-21:31:55

Dernière modification le : vendredi 24 mars 2023-14:53:20

Télécharger pour visualiser

Dates et versions

tel-03107626 , version 1 (12-01-2021)
tel-03107626 , version 2 (13-01-2021)

Identifiants

  • HAL Id : tel-03107626 , version 2

Citer

Assia Mahboubi. Machine-checked computer-aided mathematics. Logic in Computer Science [cs.LO]. Université de Nantes (UN), Nantes, FRA., 2021. ⟨tel-03107626v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE
564 Consultations
971 Téléchargements

Partager

Gmail Facebook X LinkedIn More