Pietro Liņ, Paolo Zuliani Automated Reasoning for Systems Biology and Medicine - Springer Springer 2019 ISBN: 9783030172978 Source: EBOOK