語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
A computational logic
~
Boyer Robert S.
A computational logic
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
書名/作者:
A computational logic/ Boyer, Robert S.;Moore, J strother
作者:
Boyer Robert S.
其他作者:
Moore J strother
出版者:
Orlando : Academic Press, Inc., 1979
面頁冊數:
397頁; 24x16公分
標題:
Automatic theorem proving
ISBN:
0121229505(精裝)
A computational logic
Boyer Robert S.
A computational logic
Boyer, Robert S.;Moore, J strother - OrlandoAcademic Press, Inc.1979 - 397頁24x16公分 - ACM MONOGRAPH SERIES.
ISBN: 0121229505(精裝)Subjects--Topical Terms:
136150
Automatic theorem proving
A computational logic
LDR
:00379nam 2200145 450
001
147533
008
100623t1979 us a a 000 0 eng d
020
$a
0121229505(精裝)
035
$a
7902187
040
$b
eng
$c
DYU
041
$a
eng
044
$a
us
100
$a
Boyer Robert S.
$3
136148
245
1 0
$a
A computational logic
$c
Boyer, Robert S.;Moore, J strother
260
$a
Orlando
$b
Academic Press, Inc.
$c
1979
300
$a
397頁
$c
24x16公分
490
$a
ACM MONOGRAPH SERIES
650
$a
Automatic theorem proving
$3
136150
700
$a
Moore J strother
$3
136149
筆 0 讀者評論
全部
四樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
801519400000002
四樓西文圖書區
1.圖書流通
圖書
519.4 B791
1.一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入