网站首页
词典首页
请输入您要查询的英文单词:
单词
axiomatisable
释义
axiomatisable
网络
公理化
网络释义
1.
公理化
定理3 所有
公理化
(
Axiomatisable
)的定理T是可递推枚举的(Recursivement Enumerable) 证明: 定理4 所有公理化的完整的(Comp…
zh.wikipedia.org
例句
随便看
traffic controller
traffic control out of park entrance
traffic control panel
traffic control projector
traffic controls
traffic control sign
traffic control signal
traffic control system
traffic control tower
traffic control transponder
traffic control zone
traffic conveyed free
traffic cop
traffic cops
traffic corridor
traffic cost
traffic cost plan
traffic count
traffic counter
traffic court
traffic cover
traffic current
traffic cut
traffic data
traffic database
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/17 2:26:42