Automated Reasoning for Systems Biology and Medicine

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3030172996
• ISBN13: 9783030172992
• Release Date: August 2020
• Publisher: Springer
• Length: 474 Pages