查詢結果
檢索結果筆數(3)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
新1 1990.10[民79.10]
- 頁 次:
頁263-289
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
63 1990.12[民79.12]
- 頁 次:
頁23-25
-
-
題 名:
An Unfailing Narrowing Procedure for Inductiue Proof in Theories with Constructors:自動化歸納證明
- 作 者:
- 書刊名:
- 卷 期:
7 1990.11[民79.11]
- 頁 次:
頁433-457
-
題 名: