Ekaterina Komendantskaya
IdRefMots clés
FR |
EN
Logique
Démonstration automatisé de théorèmes
Théorie de la démonstration
Raisonnement automatisé
Certificats de preuve
Vérification de démonstrations
Logique informatique
Programmation logique
Sémantique dénotationnelle
Sémantique des jeux
Programmation logique disjonctive
Théorie des langages de programmation