查詢結果分析
來源資料
頁籤選單縮合
題名 | 您話多說了嗎?Resolution Theorem Proving在說話與解題中的應用 |
---|---|
作 者 | 侯浩生; | 書刊名 | 南榮學報 |
卷期 | 復刊4 民89.08 |
頁次 | 頁7-17 |
分類號 | 440.8 |
關鍵詞 | 人工智慧; 定理證明; 自動推理; Artificial intelligence; Theorem proving; Automated reasoning; |
語文 | 中文(Chinese) |