Automated Reasoning for Systems Biology and Medicine

• 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)
• Format: Electronic eBook
• 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.

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...