Automated Reasoning for Systems Biology and Medicine

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Liò, Pietro (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zuliani, Paolo (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Computational Biology, 30
• Θέματα: 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...