Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques / Martin Morterol ; sous la direction de Philippe Dague

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Solveurs (logiciels)

Métabolites

Proposition (logique)

Dague, Philippe (1951-....) (Directeur de thèse / thesis advisor)

Conchon, Sylvain (1972-....) (Président du jury de soutenance / praeses)

Siegel, Anne (1975-.... ; chercheuse en bioinformatique) (Rapporteur de la thèse / thesis reporter)

Beurton-Aimar, Marie (1958-....) (Rapporteur de la thèse / thesis reporter)

Pérès, Sabine (1977-....) (Membre du jury / opponent)

Rouveirol, Céline (Membre du jury / opponent)

Université Paris-Saclay (2015-2019) (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire de recherche en informatique (Orsay, Essonne ; 1998-....) (Laboratoire associé à la thèse / thesis associated laboratory)

Université Paris-Sud (1970-2019) (Autre partenaire associé à la thèse / thesis associated third party)