相似詞查詢

自動定理證明的同義詞

自動定理證明的相似詞

混合智能系統 啟發式程序 演化計算 不確定性推理 基於實例的機器翻譯 約束滿足問題 推理技術 推理機制 基於知識的系統 符號推理 模式識別和機器學習 模式識別和計算機視覺 啟發式搜索算法 機械倫理學 人工情感 自然語言問答 圖靈計算機 機器推理 知識表示與推理 貝葉斯邏輯 概率推理 隨機動力系統 函數逼近 統計模式識別 機器定理證明 神經網絡模擬 譜理論 自動問答系統 機器人運動學 統計學習基礎

自動定理證明的英文翻譯

automatic theorem proving

自動定理證明用英文怎麼說 - 英語詞典

相關查詢

自動定量 自動定量包裝機 自動定量包裝秤 自動定長 自動審批 自动定理证明

這是一個相似詞在線查詢工具,為用戶提供相似詞查詢服務,返回的結果包含了近義詞、反義詞和同義詞。
該工具常用於寫作輔助(關鍵詞聯想)和論文降重(同義詞替換)。
本網站收錄了最新版的新華字典,以及通過全網數據挖掘出海量的中文詞條,並對數據進行持續更新,保證查詢的效果與時俱進。

什麼是相似詞?
相似,指類似的意思,按日常習慣用法,相似詞一般指同義詞,也可能包含反義詞(因為屬於同一類型的詞語)。
1. 近義詞指意思相近,但不完全相同的詞,比如:“開心”和“高興”、“謙虛”和“謙遜”、“滿意”和“欣慰”。
2. 反義詞是指兩個意思相反的詞,比如:“真”和“假”,“美”和“醜”。
3. 等義詞指意思完全相同的詞。
4. 同義詞包括近義詞和等義詞。

回到顶部