Enrico Tassi
IdRefMots clés
FR |
EN
Logique informatique
Assistants de preuve
Théorie de la démonstration
Calcul
Logique
Lieurs
Languages de programmation
Langages de programmation
Démonstration automatique de théorèmes
Certificats de Preuve Fondamentaux
Aperçus de preuve
Logique computationnelle
Certificats numériques
Réécriture
Interopérabilité
Pvs
Preuve formelle
Dedukti
Cadre logique
Lambda-calcul