共 50 条
- [33] Using Program Synthesis for Program Analysis LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 483 - 498
- [35] 'Chiron' approach to the total synthesis of macrolide (+)-Aspicilin RSC ADVANCES, 2014, 4 (09): : 4253 - 4259
- [36] COMPUTER-ASSISTED ANALYSIS AND PERCEPTION OF STEREOCHEMICAL FEATURES IN ORGANIC-MOLECULES USING THE CHIRON PROGRAM JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES, 1990, 30 (04): : 413 - 425
- [37] A chiron approach to the total synthesis of (+)-aculeatin D JOURNAL OF ORGANIC CHEMISTRY, 2008, 73 (18): : 7310 - 7316
- [39] HEURISTIC ALGORITHM FOR WASTEWATER PLANNING JOURNAL OF THE ENVIRONMENTAL ENGINEERING DIVISION-ASCE, 1977, 103 (05): : 863 - 876