Ouvrage
Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques
Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques
Springer
(2010), Pages 160