Le moteur de recherche
des thèses françaises
Laura Kovács
IdRefMots clés
FR |
EN
Démonstration automatique de théorèmes
Intelligence artificielle
Structures algébriques finies
Théorèmes -- Démonstration automatique
Algèbre
Certificats de Preuve Fondamentaux
Assistants de preuve
Théorie de la démonstration
Aperçus de preuve
Logique computationnelle
Logique informatique
Certificats numériques
Circuits algébriques
Complexité de calcul
Procédures de décision
Suites hypergéométriques
Test d'identité dans les corps de nombres
Algorithmes randomisés
Atteignabilité
Complexité de calcul (informatique)