Le moteur de recherche
des thèses françaises
Enrico Tassi
IdRefMots clés
FR |
EN
Logique informatique
Assistants de preuve
Théorie de la démonstration
Preuve formelle
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
Dedukti
Cadre logique
Lambda-calcul