Thèse, LaHDAK, Bio-informatique, Informatique
Martin Morterol. Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques. Intelligence artificielle [cs.AI]. Université Paris-Saclay, 2016. Français. ⟨NNT : ⟩. ⟨tel-01486750⟩
Publié le 14 février 2023
Retour en haut
