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.
Loading...