共 50 条
- [37] A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3864 - 3870
- [39] Short diastereoselective synthesis of (2S,5R)-5-hydroxypip-ecolic acid and 6-substituted derivatives. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2005, 229 : U533 - U533