From syntax to semantics in systems biology towards automated reasoning tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Transactions on Computational Systems Biology IV
Publisher	Springer Verlag
Pages	68-70
Number of pages	3
ISBN (Print)	9783540332459
DOIs	https://doi.org/10.1007/11732488_6
Publication status	Published - 1 Jan 2006
Externally published	Yes

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3939 LNBI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

@inproceedings{fb95bc12da0f4c6c8dd7be250d08eeb1,

title = "From syntax to semantics in systems biology towards automated reasoning tools",

author = "Fran{\c c}ois Fages",

year = "2006",

month = jan,

day = "1",

doi = "10.1007/11732488\_6",

language = "English",

isbn = "9783540332459",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "68--70",

booktitle = "Transactions on Computational Systems Biology IV",

}

From syntax to semantics in systems biology towards automated reasoning tools. / Fages, François.
Transactions on Computational Systems Biology IV. Springer Verlag, 2006. p. 68-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3939 LNBI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - From syntax to semantics in systems biology towards automated reasoning tools

AU - Fages, François

PY - 2006/1/1

Y1 - 2006/1/1

UR - https://www.scopus.com/pages/publications/37249002941

U2 - 10.1007/11732488_6

DO - 10.1007/11732488_6

M3 - Conference contribution

AN - SCOPUS:37249002941

SN - 9783540332459

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 68

EP - 70

BT - Transactions on Computational Systems Biology IV

PB - Springer Verlag

ER -