- 双语例句 更多例句
1、
General deduction and strong completeness of the formal deductive system L? are further studied.
进一步讨论了形式系统L? 中的一般演绎推理及强完备性问题.
互联网摘选
- 相关词组
- chief of general affairs总务主任；总编辑
- same general magnitude等量齐观
- compromise out of consideration for the general interest委曲求全
- general policyn.一般政策；总政策
- reducted form of general game简约型一般对策
- theory of general adaption syndrome一般适合综合学说
- a general name for certain musical instrument琴
- theory of general interdependence一般依存理论
- commissary in charge of general affairs生活委员
- a general strike总罢工；大罢工
- a general term for cotton and kapok棉
- a general将军；上将
- general news column一般消息栏
- towing and general service launch拖带和公务交通艇
- judge advocate general军法署署长
- theory of general commutative rings一般交换环论
- a general reader一般读者
- rule-based deduction system基于规则演绎系统
- general reader一般读者；普通读者
- tare deduction去皮重量
- 今日热词
- 热门搜索
- role n.角色;地位;作用;
- let me hear 让我听听;让我听见
- adobe acrobat 破解版;阅读软件；表单文档文件；
- amateur n.业余爱好者;外行，生手;adj.业余的，非职业的;外行的;
- let go v.放开，释放，发射;放手;撒;松手;
- pool n.水池;石油层;（液体等的）一滩;共同储金;赌注;vi.使形成池塘或水洼;淤积;合伙经营;采（煤等）;
- hooray exclamation（表示快乐或赞同）好极了，好哇;exclamation再见;
- act v.做事; 行动; 行为; 举止; 表演，假装; 扮演; 充当; （对…）有作用，有影响;n.行为，行动，所为; 表演，假装; 一幕; 一段表演; 表演者;法案，法令;短节目;
- kpl abbr.kilometers per liter 公里/公升;王者荣耀职业联赛关键绩效指标;指标;农民联盟
- ignore v.忽视;佯装未见;
- ambassador n.大使，使节;（派驻联合国等国际组织的）代表;特使;[比喻]使者;
- solid edge 三维数字建模师
