Le moteur de recherche
des thèses françaises
David Alfaya Sánchez
IdRefMots clés
FR |
EN
Catégories finies
Classification
Associativité
Prover9/mace4
Semigroupes
Monoïdes de type groupe
Catégories de type groupe
Semigroupes simples
Bandes rectangulaires
Catégories avec un 0
Monoïdes
Catégories (mathématiques)
Intelligence artificielle
Démonstration automatique de théorèmes
Structures algébriques finies
Théorèmes -- Démonstration automatique
Algèbre