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