preuve

Voir le(s) DEA suivant(s) :

• Sémantique preuves et programmation

Voir aussi :

• réseaux de preuves