词条纠错
X

axiomatization

您还没有登录,点这里登录注册
登录后,您可以提交反馈建议,同时可以和手机、电脑同步生词本。
英汉-汉英词典中发现10个解释错误,并通过审核,将获赠《欧路词典》授权一个

axiomatization

音标:/'æksi,ɔmətai'zeiʃən/ 全球发音: 生词本: 添加笔记:
有奖纠错
| 划词
n. 公理化

These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

这些贡献包括语言和数据类型的公理化,形式验证,形式规约与析。

明:以上例句、词性类均由互联网资源自动生成,部过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

显示所有包含 axiomatization 的英语例句

用户正在搜索


loose-back, loose-bodied, loosebox, loose-box, loose-flowing, loose-grazed, loose-headed, loose-jointed, looseleaf, loose-leaf,

相似单词


axiom, axiomatic, axiomatically, axiomatics, axiomatism, axiomatization, axiomatize, axiometer, axioms, axion,
[+反馈]
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接

您还没有登录,点这里登录注册
生词本和学习记录“云”同步,支持网站、电脑版和手机客户端。