Machine-checked computer-aided mathematics - TEL - Thèses en ligne
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 : mardi 27 août 2024-12:52:36

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 CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE
637 Consultations
1172 Téléchargements

Partager

More