大葉大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

自動推理系統環境:子計畫(一)邏輯推理系統之完備性及有效性之探討

~

國立台灣大學資訊工程學系(所)

自動推理系統環境:子計畫(一)邏輯推理系統之完備性及有效性之探討

紀錄類型:	微縮資料 : 單行本
作者:	項潔
其他團體作者:	國立台灣大學資訊工程學系(所)
出版地:	台北市
出版者:	行政院國家科學委員會科學技術資料中心;
面頁冊數:	36頁 : 11x15公分;
標題:	電腦程式語言 -
附註:	NSC85-2221-E002-010

自動推理系統環境:子計畫(一)邏輯推理系統之完備性及有效性之探討
項潔

自動推理系統環境:子計畫(一)邏輯推理系統之完備性及有效性之探討 / 項潔撰 ; 國立台灣大學資訊工程學系(所) - 台北市 : 行政院國家科學委員會科學技術資料中心 - 36頁 ; 11x15公分.
NSC85-2221-E002-010.
電腦程式語言

自動推理系統環境:子計畫(一)邏輯推理系統之完備性及有效性之探討
LDR:00431nhm 2200133 450 001 299911
009 9103276
100 $a 20100608 0chiy0900 e
101 $a chi
102 $a tw
200 1 $a 自動推理系統環境:子計畫(一)邏輯推理系統之完備性及有效性之探討 $f 項潔撰 $g 國立台灣大學資訊工程學系(所)
210 $a 台北市 $c 行政院國家科學委員會科學技術資料中心
215 $a 36頁 $d 11x15公分
300 $a NSC85-2221-E002-010
606 $a 電腦程式語言 $3 20512
700 $a 項潔 $4 撰 $3 78792
712 $a 國立台灣大學資訊工程學系(所) $3 326053
801 1 $a TW $b 大葉大學 $c 20020125

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

804004000000021

三樓視聽資料區

3.不外借

微縮資料

MF 004 1137-1

1.一般(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入