Knowledge Tree

researcher / Françoise Garcia

Françoise Garcia

at_id:

orcid_id:

Disciplines:

Applied sciences

Edit Merge See Links

Thesis:

Etude et implémentation en ML/LCF d'un système de déduction pour logique algorithmique