Facettes de la preuve : Jeux de reflets entre démonstration automatique et preuve assistée

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.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [101 references]  Display  Hide  Download

https://hal.inria.fr/tel-01089490
Contributor : Evelyne Contejean <>
Submitted on : Monday, December 1, 2014 - 6:47:07 PM
Last modification on : Monday, December 9, 2019 - 5:24:07 PM
Long-term archiving on: Monday, March 2, 2015 - 1:38:03 PM

File

Identifiers

  • HAL Id : tel-01089490, version 1

Collections

Citation

É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⟩

Share

Metrics

Record views

684

Files downloads

485