SAT-Based Metabolics Pathways Analysis without Compilation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

SAT-Based Metabolics Pathways Analysis without Compilation

Sabine Pérès
Laboratoire de Recherche en Informatique
Morterol Martin
  • Fonction : Auteur
  • PersonId : 963346
Laboratoire de Recherche en Informatique
Laurent Simon
  • Fonction : Auteur
Laboratoire Bordelais de Recherche en Informatique

Domaines

Bio-informatique [q-bio.QM] Bio-Informatique, Biologie Systémique [q-bio.QM] Intelligence artificielle [cs.AI]

Sabine Peres  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01108840

Soumis le : vendredi 23 janvier 2015-15:24:26

Dernière modification le : samedi 10 février 2024-03:07:44

Fichier non déposé

Dates et versions

hal-01108840 , version 1 (23-01-2015)

Identifiants

  • HAL Id : hal-01108840 , version 1

Citer

Sabine Pérès, Morterol Martin, Laurent Simon. SAT-Based Metabolics Pathways Analysis without Compilation. CMSB 2014, Nov 2014, Manchester, United Kingdom. ⟨hal-01108840⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS CNRS UMR8623 LRI-LAHDAK LRI-BIOINFO UNIV-PARIS-SACLAY
124 Consultations
0 Téléchargements

Partager

More