相似词查询

机器证明的同义词

机器证明的相似词

数学机械化 吴方法 自动推理 几何定理 数学理论 机器定理证明 几何定理机器证明 现代数学 卡拉比猜想 纯粹数学 数学研究 代数拓扑学 微分几何 数学技术 冯·诺依曼 微分拓扑学 计算几何 图灵机 拓扑学 代数几何 代数拓扑 符号逻辑 非欧几何学 素数定理 现代微分几何 遍历理论 庞加莱猜想 函数论 启发式程序 算子代数

机器证明的英文翻译

mechanical theorem proving

机器证明用英文怎么说 - 英语词典

相关查询

机器识别 机器诊断 机器语言 机器语言代码 机器语言程序 機器證明

这是一个相似词在线查询工具,为用户提供相似词查询服务,返回的结果包含了近义词、反义词和同义词。
该工具常用于写作辅助(关键词联想)和论文降重(同义词替换)。
本网站收录了最新版的新华字典,以及通过全网数据挖掘出海量的中文词条,并对数据进行持续更新,保证查询的效果与时俱进。

什么是相似词?
相似,指类似的意思,按日常习惯用法,相似词一般指同义词,也可能包含反义词(因为属于同一类型的词语)。
1. 近义词指意思相近,但不完全相同的词,比如:“开心”和“高兴”、“谦虚”和“谦逊”、“满意”和“欣慰”。
2. 反义词是指两个意思相反的词,比如:“真”和“假”,“美”和“丑”。
3. 等义词指意思完全相同的词。
4. 同义词包括近义词和等义词。

回到顶部