時(shí)間：2024-01-20 10:50:01 | 來(lái)源：信息時(shí)代
時(shí)間：2024-01-20 10:50:01 來(lái)源：信息時(shí)代
定理機(jī)器證明：用計(jì)算機(jī)自動(dòng)地進(jìn)行推理和證明定理。所謂定理，并不限于數(shù)學(xué)的，凡是用演繹法推導(dǎo)的論斷都可看作是定理。定理證明是人工智能研究中的一個(gè)基本課題，廣泛用于問(wèn)題求解系統(tǒng)、答問(wèn)系統(tǒng)、自動(dòng)程序設(shè)計(jì)、自動(dòng)情報(bào)１２檢索和各種數(shù)學(xué)系統(tǒng)。關(guān)鍵詞：
客戶(hù)&案例
營(yíng)銷(xiāo)資訊
關(guān)于我們
客戶(hù)&案例
營(yíng)銷(xiāo)資訊
關(guān)于我們
微信公眾號(hào)
版權(quán)所有? 億企邦 1997-2025 保留一切法律許可權(quán)利。
在線咨詢(xún)