Ricardo Caferra
IdRefMots clés
FR |
EN
Déduction automatique
Déduction
Deduction
Sciences appliquées
Démonstration théorème
Démonstration automatique de théorèmes
I-termes
Analyse de l'espace de recherche
Complétude réfutationnelle
Indexation de termes
Informatique, automatique théorique, systèmes
Analogie
Unification
Theorem proving
Analogy
Logique modale
Automatic deduction
Cd
Théorèmes -- Démonstration automatique
Démonstration automatique