Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Handbook of practical logic and auto...
~
Harrison, J. (1966-)
Handbook of practical logic and automated reasoning /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Handbook of practical logic and automated reasoning // John Harrison.
Author:
Harrison, J.
Published:
Cambridge ;Cambridge University Press, : 2009.,
Description:
xix, 681 p. :ill. ; : 26 cm.;
Subject:
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
based on 0 review(s)
ALL
圖書館3F 書庫
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
E035266
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
006.333 H318 2009
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login