Facettes de la preuve - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Habilitation À Diriger Des Recherches Year : 2014

Facettes de la preuve

Abstract

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 (640.29 Ko) Télécharger le fichier
Loading...

Dates and versions

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

Identifiers

  • HAL Id : tel-01089490 , version 1

Cite

Évelyne Contejean. Facettes de la preuve : Jeux de reflets entre démonstration automatique et preuve assistée. Logique en informatique [cs.LO]. Université Paris-Sud, 2014. ⟨tel-01089490⟩
185 View
336 Download

Share

Gmail Facebook X LinkedIn More