Knowledge Tree

researcher / Narjes Ben Rajeb

Narjes Ben Rajeb

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Preuves par induction implicite : cas des théories associatives-commutatives et observationnelles