相似词查询

自动定理证明的同义词

自动定理证明的相似词

混合智能系统 启发式程序 演化计算 不确定性推理 基于实例的机器翻译 约束满足问题 推理技术 推理机制 基于知识的系统 符号推理 模式识别和机器学习 模式识别和计算机视觉 启发式搜索算法 机械伦理学 人工情感 自然语言问答 图灵计算机 机器推理 知识表示与推理 贝叶斯逻辑 概率推理 随机动力系统 函数逼近 统计模式识别 机器定理证明 神经网络模拟 谱理论 自动问答系统 机器人运动学 统计学习基础

自动定理证明的英文翻译

automatic theorem proving

自动定理证明用英文怎么说 - 英语词典

相关查询

自动定量 自动定量包装机 自动定量包装秤 自动定长 自动审批 自動定理證明

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

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

回到顶部