システム生物学・医療のための自動推論
Automated Reasoning for Systems Biology and Medicine
Computational Biology
Liò, Pietro (EDT)
Zuliani, Paolo (EDT)
- 内容紹介:
-
The first dedicated volume on formal reasoning techniques applied to medical systems, including personalized medicine.