Thèse, LaHDAK, Bio-informatique, Bioinformatics, Computer Science

Advanced reasoning methods in propositional logics: application to metabolic networks

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⟩

Published on