Thèse en cours
Publié le 4 novembre 2021 | Mis à jour le 4 novembre 2021

Réseaux de preuve : graphes, canonicité, formalisation

Rémi Di Guardia