語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Handbook of practical logic and auto...
~
Harrison, J. (1966-)
Handbook of practical logic and automated reasoning /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Handbook of practical logic and automated reasoning // John Harrison.
作者:
Harrison, J.
出版者:
Cambridge ;Cambridge University Press, : 2009.,
面頁冊數:
xix, 681 p. :ill. ; : 26 cm.;
標題:
Computer logic. -
ISBN:
9780521899574 (cloth) :
Handbook of practical logic and automated reasoning /
Harrison, J.1966-
Handbook of practical logic and automated reasoning /
John Harrison. - Cambridge ;Cambridge University Press,2009. - xix, 681 p. :ill. ;26 cm.
Includes bibliographical references (p. 631-667) and index.
ISBN: 9780521899574 (cloth) :NT4445
LCCN: 2009281331
Nat. Bib. No.: GBA8D1105bnbSubjects--Topical Terms:
786340
Computer logic.
LC Class. No.: QA76.9.L63 / H375 2009
Dewey Class. No.: 006.333
Handbook of practical logic and automated reasoning /
LDR
:00757nam a2200229 a 4500
001
680229
005
20111105153946.0
008
111109s2009 enka b 001 0 eng
010
$a
2009281331
015
$a
GBA8D1105
$2
bnb
020
$a
9780521899574 (cloth) :
$c
NT4445
020
$a
0521899575 (cloth)
035
$a
(OCoLC)ocn244767230
035
$a
2009281331
040
$a
UKM
$c
UKM
$d
BTCTA
$d
YDXCP
$d
BWKUK
$d
BWK
$d
MUU
$d
DLC
041
0
$a
eng
042
$a
ukblcatcopy
$a
lccopycat
050
0 0
$a
QA76.9.L63
$b
H375 2009
082
0 4
$a
006.333
$2
22
100
1
$a
Harrison, J.
$q
(John),
$d
1966-
$3
791850
245
1 0
$a
Handbook of practical logic and automated reasoning /
$c
John Harrison.
260
$a
Cambridge ;
$a
New York :
$c
2009.
$b
Cambridge University Press,
300
$a
xix, 681 p. :
$b
ill. ;
$c
26 cm.
504
$a
Includes bibliographical references (p. 631-667) and index.
650
0
$a
Computer logic.
$3
786340
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E035266
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
006.333 H318 2009
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入