Le moteur de recherche
des thèses françaises
Cézary Kaliszyk
IdRefMots clés
FR |
EN
Assistants de preuve
Preuves formelles
Œcuménisme
Interopérabilité
Théories des types
Systèmes de réécriture
Systèmes de réécriture (informatique)
Logique intuitionniste
Logique informatique
Cadre logique
Interoperabilité
Dedukti
Pratique basée sur les preuves
Interconnexion de réseaux (télécommunications)
Démonstration automatique
Théorie des types
Assistants à la preuve
Reconstruction de preuves
Skolemization
Théorèmes -- Démonstration automatique