Knowledge Tree

researcher / Marie-Dominique Mousseigne

Marie-Dominique Mousseigne

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Variantes de l'algorithmes de sl-résolution avec retenue d'informations : démonstration de l'équivalence entre sl-résolution et production et démonstration de la validité de la variante des impasses et de la variante de remontée d'impasses