- 双语例句 更多例句
1、
Boc -Ab7-Aib-Phe( 2-Me)-D-Pro-OBzl脱除两端保护得到线性肽链经过环化得到目标产物cyclo ( -Ab7-Aib-Phe ( 2-Me ) -D-Pro- ),收率0.8%.
互联网摘选
2、
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
互联网摘选
3、
The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
互联网摘选
- 今日热词
- 热门搜索
- undo vt.松开，解开;取消，废除;毁灭;扰乱;vi.撤销;
- Me And You 我和你;
- brighten vt.& vi.（使）发亮;（使）生色;（使）生辉;（使）快乐;
- undertake v.承担;承诺;
- fourth n.第四;月的第四日;四分之一;第四音级;num.第四;
- departure n.离开，离去;起程;背离;东西距离;
- adolescent n.青少年;adj.青少年的；青春期的;未成熟的;
- hunter n.猎人;猎犬;猎狐马，猎食其他动物的野兽;亨特;
- Japanese n.日本人，日本国民;日语;adj.日本的，日本人的;日语的;
- desire n.愿望;渴望;肉欲;渴望的人/事;v.渴望;被某人吸引;产生性欲;
- Let me inside 让我进去; 让我进入你的心里; 让我进来;
- author n.作者;作家;发起人;v.创作，撰写;
