Cover Image

Automated Reasoning for Systems Biology and Medicine

This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques to analyse complex models in systems biology and systems medicine. Automated reasoning is a field of computer science devoted to the develop...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Liò, Pietro. (Editor, http://id.loc.gov/vocabulary/relators/edt), Zuliani, Paolo. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Computational Biology, 30
Subjects:
Bioinformatics.
Systems biology.
Artificial intelligence.
Health informatics.
Pattern recognition.
Computational Biology/Bioinformatics.
Systems Biology.
Artificial Intelligence.
Health Informatics.
Pattern Recognition.
Online Access:https://doi.org/10.1007/978-3-030-17297-8

Internet

https://doi.org/10.1007/978-3-030-17297-8

Similar Items