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 : mardi 12 janvier 2021-17:19:12

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

Archivage à long terme le : mardi 13 avril 2021-18:54:27

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 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
631 Consultations
1143 Téléchargements

Partager

More