共 50 条
- [4] String Constraint Solving: Past, Present and Future ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 2875 - 2876
- [7] Formal methods: Past, present, and future ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, 1538 : 224 - 224
- [8] STANDARD METHODS - PAST, PRESENT, AND FUTURE AMERICAN JOURNAL OF PUBLIC HEALTH AND THE NATIONS HEALTH, 1956, 46 (06): : 755 - 762
- [9] Pharmacophore methods: Past, present, and future ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2011, 242