机译:(+-)-TRACHELANTHAMIDINE的形式合成
机译:通过碱诱导的形式[3 + 2]环状和分子内环化形式的(+-)-草胺啶的形式合成
机译:从光学活性的氮杂-baylis-hillman加合物不对称合成2-烷基取代的2,5-二氢吡咯。 (-)-梯形ant啶的形式合成
机译:(-)-5-epi-tashiromine和(-)-tashiromine的短和立体发散合成以及(-)-异维甲酸和(-)-trachelanthamidine的形式合成
机译:用于将VHDL描述转换为正式模型的工具及其在正式验证和综合的应用
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:nam啶A1 / A2的结构重新分配和合成(+)-NP25302的合成以及SB-311009类似物的形式合成
机译:双环杂环钯催化的氨基炔酰胺化策略:(±) - 三卤氨酸合成