Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/自動演繹/12612508
自動演繹
鎖定
自動
演繹
,是把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術,又稱
自動定理證明
和機械定理證明。
中文名
自動演繹
別 名
自動定理證明和機械定理證明
位 置
計算機
對 象
證明數學定理和生活中的演繹推理
詞條統計
瀏覽次數:
次
編輯次數:11次
歷史版本
最近更新:
仇冬琴
(2022-09-16)
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄