語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
A computational logic handbook
~
Boyer, Robert S
A computational logic handbook
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
BoyerRobert S,
其他作者:
MooreJ Strother, 1947
出版地:
Boston
出版者:
Academic Press;
出版年:
c1998
版本:
2nd ed
面頁冊數:
xxv, 518 p23 cm;
標題:
Automatic theorem proving -
附註:
Includes index
ISBN:
0121229556
A computational logic handbook
Boyer, Robert S
A computational logic handbook
/ Robert S. Boyer, J Strother Moore - 2nd ed. - Boston : Academic Press, c1998. - xxv, 518 p ; 23 cm.
Includes index.
Bibliography: p.493 - 505.
ISBN 0121229556
Automatic theorem proving
Moore, J Strother
A computational logic handbook
LDR
:00677cam 2200229 i 450
001
435637
005
20101024062654.0
009
a88022175
010
1
$a
0121229556
$b
(hard)
100
$a
20080130d1998 m y0engy01 b
101
0
$a
eng
200
1
$a
A computational logic handbook
$f
Robert S. Boyer, J Strother Moore
205
$a
2nd ed
210
$a
Boston
$c
Academic Press
$d
c1998
215
0
$a
xxv, 518 p
$d
23 cm
300
$a
Includes index
320
$a
Bibliography: p.493 - 505
606
$a
Automatic theorem proving
$3
414208
$2
lc
$3
724079
676
$a
511.3
$b
B791
676
$a
511.3
$v
19
680
$a
QA76.9.A96
$b
B684 1998
700
$a
Boyer
$b
Robert S
$3
414206
702
$a
Moore
$b
J Strother
$f
1947
$3
414207
801
0
$a
cw
$b
BIB
$c
19980618
801
1
$a
cw
$b
national library
$c
19980618
801
1
$a
cw
$b
國立國立虎尾科技大學圖書館
$c
19980730
$g
CCR
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E018082
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.3 B791 1998
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入