组词
成语
单词
笔顺
近义
反义
“形式证法”英文翻译
字词
形式证法
释义
【计】 formal proof
汉译英翻译词典收录405719条汉英翻译词条,基本涵盖了全部常用中文字词的英语拼写、翻译、音标、读音、用法、例句等,是英语学习的有利工具。
同类型查询
次韵题澹山岩(宋·释德洪)
酬罗道济黄任道见寄(宋·范纯仁)
洞仙歌 用柳屯田体为湖帆先生题仇实甫画长(近现代·龙榆生)
丙子除夕(明·黄公辅)
雨夜古思(明·郭之奇)
黄雀行(唐·齐己)
三十六策,走为上策的反义词
闲坐有感偶成古风简刘会之高吉父康司理(宋·杜范)
将赴叙州谒江市庙(明·胡澧)
与萧旷冥会诗 其二(唐·织绡女)
文远叔挽词(宋·杨万里)
蝶恋花 六首(近现代·詹安泰)
予既赋金貂亭诗巽伯求益不已偶得名酒连饮辄(宋·苏泂)
武陵秋景(明末清初·黄幼藻)
雁塔题名
过易简彦从(宋·赵蕃)
最新发布
“黄金時代”日汉翻译
06-24
“PSAVA”缩略
07-02
“Ikke På Den Måde”缩略
07-01
“set a pattern”例句
06-23
“けつじょう”日汉翻译
06-24
“风俗画”例句
06-22
精选推荐
临江仙 皈塘松径(近现代·詹安泰)
五松寺(宋·李弥逊)
哭郡守郝公(明·李梦阳)
郡斋独酌忆蔡章阳马仲穆诸君(明·顾亮)
和张公望苦热韵(宋·姚勉)
芝田为嘉禾医士谈景阳题(明·张宁)
词典目录
字典查询排行榜
词典查询排行榜
康熙字典查询排行榜
文言字典查询排行榜
英汉查询排行榜
汉英查询排行榜
英英查询排行榜
词组查询排行榜
用法查询排行榜
写作查询排行榜
例句查询排行榜
法汉查询排行榜
德汉查询排行榜
日汉查询排行榜
俄汉查询排行榜
韩汉查询排行榜
书法查询排行榜
典故查询排行榜
缩写查询排行榜
百科查询排行榜
经管查询排行榜
名言查询排行榜
俗语查询排行榜
谜语查询排行榜
常识查询排行榜
字帖查询排行榜
俚语查询排行榜
字体查询排行榜
文学鉴赏查询排行榜
法律词典查询排行榜
诗词库查询排行榜
成语查询排行榜
组词查询排行榜
1
清源山房为晋江石申卿(明·梁有誉)
2
绿意(清末民国初·梁鼎芬)
3
清音楼(明·欧必元)
4
解嘲(金末元初·李俊民)
5
送郑正则汉阳迎妇(唐·李嘉祐)
6
锦堂春 次未斋韵,送陆侍御瑚便道寿母(明·夏言)
7
解字吟(宋·邵雍)
8
cardinal
9
朱梅农以兰史书至,叠前韵寄兰史(清·丘逢甲)
10
昭烈帝(宋·徐钧)
MORE+
全部分类
字典
(20792)
词典
(380519)
康熙字典
(48647)
文言字典
(3836)
英汉
(38626)
汉英
(407106)
英英
(278997)
词组
(20095)
用法
(2164)
写作
(19437)
例句
(563203)
法汉
(102979)
德汉
(94446)
日汉
(406782)
俄汉
(239214)
韩汉
(58270)
书法
(0)
典故
(14644)
缩写
(1196106)
百科
(0)
经管
(0)
名言
(0)
俗语
(0)
谜语
(0)
常识
(0)
字帖
(0)
俚语
(0)
字体
(0)
文学鉴赏
(0)
法律词典
(0)
诗词库
(0)
成语
(49841)