Facettes de la preuve - Inria - Institut national de recherche en sciences et technologies du numérique
Hdr Année : 2014

Facettes de la preuve

Résumé

Ce document présente les recherches que j'ai effectuées ces dernières années dans le domaine des preuves automatqiues et/ou assistées par ordinateurs, ainsi que les liens entre ces deux approches.
Fichier principal
Vignette du fichier
main.pdf (460.09 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-01089490 , version 1 (01-12-2014)

Identifiants

  • HAL Id : tel-01089490 , version 1

Citer

Évelyne Contejean. Facettes de la preuve. Logique en informatique [cs.LO]. Université Paris-Sud, 2014. ⟨tel-01089490⟩
221 Consultations
355 Téléchargements

Partager

More