Documents
Savoirs
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité, Automated reasoning on trees with cardinality constraints
Auteur
Ismael Barcenas Patino
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.