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