英语音标英式：[pəˈtɜːnl]美式：[pəˈtɜːrnl]英语翻译adj.父亲的；似父亲的；得自父亲的英语例句用作形容词(adj.)Thepaternall...
2026-02-08
axiomatization是什么意思
2026-02-08
英汉词典
【摘要】：英语音标英式：[æksiəmətaɪˈzeɪʃn]美式：[æksiəmətaɪˈzeɪʃn]英语翻译公理化英语例句Theprocessofaxiomatizat
英语音标
英式：[æksiəmətaɪˈzeɪʃn]
美式：[æksiəmətaɪˈzeɪʃn]
英语翻译
公理化
英语例句
Theprocessofaxiomatizationofvectortheoryisalsostudied.另外还简单介绍了向量的公理化过程。
Theseachievementsincludetheaxiomatizationofprogramminglanguagesanddatatypes,formalverification,andformalspecificationandanalysis.这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
本文链接：http://www.pqxf.cn/yhcd/177054913346826.html
上一篇：paternal是什么意思
下一篇：返回列表
相关文章
- 详细阅读
- autocade是什么意思详细阅读
英语音标英式：[ɔːtəʊˈkeɪd]美式：[ɔːtəʊˈkeɪd]英语翻译n.汽车队伍英语例句AsoundknowledgeofAutoCADisnecess...
2026-02-08
- atonalism是什么意思详细阅读
英语音标英式：[ˈeɪtəʊnælɪzəm]美式：[ˈeɪtəʊnælɪzəm]英语翻译无调性英语例句TianjinATONWeldingEquipmentCo...
2026-02-08
- autogenously是什么意思详细阅读
英语音标英式：[ɒˈtɑdʒənəs]美式：[ɒˈtɑdʒənəs]英语翻译adj.自生的；自体的=autogenic.英语例句autogenous:自体的，....
2026-02-08
- supercargo是什么意思详细阅读
英语音标英式：[ˈsuːpəˌkɑːɡəʊ]美式：[ˈsuːpəˌkɑːɡoʊ]英语翻译n.货物管理员英语例句"Isn'theavileoldbeast!"th...
2026-02-08
- laurels是什么意思详细阅读
英语音标英式：[ˈlɒrəlz]美式：[ˈlɒrəlz]英语翻译n.荣誉名词laurel的复数形式.英语例句用作名词(n.)Allotherlaurelsare...
2026-02-08
- azido是什么意思详细阅读
英语音标英式：[ˈæzaɪd]美式：[ˈæzaɪd]英语翻译n.叠氮化物英语例句用作名词(n.)Cupricazideisinsolubleinwater.叠氮...
2026-02-08
- bahadur是什么意思详细阅读
英语音标英式：[bəhɑːˈdə]美式：[bəhɑːˈdə]英语翻译n.阁下英语例句Bahadur,RobertM.Sinskey;forewordbyI.Ho...
2026-02-08
- bacteriostases是什么意思详细阅读
英语音标英式：[bæktiəriːəʊsˈtəsɪz]美式：[bæktiəriːəʊsˈtəsɪz]英语翻译细菌抑制,抑菌酌,制菌酌英语例句Italsocanb...
2026-02-08
- backlogs是什么意思详细阅读
英语音标英式：[ˈbæklɒɡz]美式：[ˈbæklɔːɡz]英语翻译n.积压待办事项；存货；垫底大木头v.积压英语例句用作名词(n.)Mysecretaryc...
2026-02-08
最新文章