共 50 条
- [48] Symbolic Support for Scientific Discovery in Systems Biology AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323
- [50] Systems Biology and Systems Chemistry: New Directions for Drug Discovery CHEMISTRY & BIOLOGY, 2012, 19 (01): : 23 - 28