共 50 条
- [22] COMPUTER-AIDED VALIDATION OF FORMAL SPECIFICATIONS SOFTWARE ENGINEERING JOURNAL, 1995, 10 (04): : 133 - 140
- [23] Computer-aided design of thrombin inhibitors NEWS IN PHYSIOLOGICAL SCIENCES, 1998, 13 : 182 - 189
- [24] Computer-aided discovery of phenylpyrazole based amides as potent S6K1 inhibitors RSC MEDICINAL CHEMISTRY, 2020, 11 (05): : 583 - 590
- [28] Computer-Aided Drug Discovery in Plant Pathology PLANT PATHOLOGY JOURNAL, 2017, 33 (06): : 529 - 542
- [29] COMPUTER-AIDED DISCOVERY AND CATEGORISATION OF PERSONALITY AXIOMS JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2014, 1 (02): : 107 - 133