汉语字典
字典
成语
词典
英语
日语
韩语
德语
法语
歇后语
明星
全部
全部
拼音
笔顺
五笔
仓颉
郑码
四角
电码
统一码
搜索记录
清空
没有搜索记录!
支持汉字、拼音、编码、部首、分拆查字,帮助。
首页
英语
《theorem machine prove》的词典解释
theorem machine prove
英语翻译:
theorem machine prove
读
theorem machine prove
基本解释
汉语翻译
【计】 定理机器证明
热门字体
巙
巙 kuí 古人名用字。 笔画数:24; 部首:山; 笔
茋
茋 zhǐ 嫩的蒲草。 笔画数:8; 部首:艹; 笔顺
飞
飞 (飛) fēi 鸟类或虫类等用翅膀在空中往来
帖
帖 tiè 学习写字时摹仿的样本:碑帖。字帖。
薱
薱 duì 〔薆( 刬 )薱〕草木茂盛,如“郁蓊薱薱
譵
譵 duì 古同“懟”,怨。 笔画数:21; 部首:言;
龉
龉 (齬) yǔ 〔龃龉〕见“ (齬)龃”。 笔画数:1
瓪
瓪 bǎn 破瓦。 〔瓪瓦〕同“板瓦”,弯曲程
褩
褩 bān 衣表。 笔画数:16; 部首:衣; 笔顺编号
吇
吇 zǐ 〔吇吇〕鸟叫声。 笔画数:6; 部首:口;
随机推荐
biocenotic
gastrophth
hemimacrog
Ht.
electronic
motor vehi
craniometr
lordotic p
castweld c
anticorros
architectu
sensory ci
unfathomab
sure-enoug
bagging
coetaneous
zoo
transrecti
posterior
poetical
cross lice
hyperminer
angolensin
trousering
aneometer
acetosal
keep sb. g
maintenanc
basic line
xeroderma
levocardio
acetylshik
periodic f
vitriol-th
ursolic ac
hysteresis
heriot
exodontics
system ide
bidirectio
propylacet
aleuronoid
integument
squaw-vine
fluid bala
coherent s
lemophilia
tuberculou
cacochylia
antenna ap
热门字体
巙
茋
飞
帖
薱
譵
龉
瓪
褩
吇