Language:
繁體中文
English
日文
說明(常見問題)
南開科技大學
圖書館首頁
編目中圖書申請
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logic in computer science :modelling...
~
Huth,, Michael.1962-
Logic in computer science :modelling and reasoning about systems /
紀錄類型:
書目-語言資料,印刷品 : 單行本
正題名/作者:
Logic in computer science :/ Michael Huth, Mark Ryan.
其他題名:
modelling and reasoning about systems /
作者:
Huth,Michael.,
其他作者:
Ryan,
出版者:
Cambridge, [England] ;Cambridge University Press,2000.
面頁冊數:
xviii, 387 p. :ill. ;25 cm.
標題:
Computer logic. -
ISBN:
0521652006
ISBN:
0521656028 (pbk.)
Logic in computer science :modelling and reasoning about systems /
Huth,Michael.1962-
Logic in computer science :
modelling and reasoning about systems /Michael Huth, Mark Ryan. - Cambridge, [England] ;Cambridge University Press,2000. - xviii, 387 p. :ill. ;25 cm.
Includes bibliographical references (p. 375-377)
ISBN: 0521652006
LCCN: 99015233
Nat. Bib. No.: GBA0-09803 Subjects--Topical Terms:
147329
Computer logic.
LC Class. No.: QA76.9.L63 / H88 2000
Dewey Class. No.: 510
Logic in computer science :modelling and reasoning about systems /
LDR
:00692nam _2200217 a_450
001
131479
005
20020129104706.0
008
990401s2000 enka b 001 0 eng
010
$a
99015233
015
$a
GBA0-09803
020
$a
0521652006
020
$a
0521656028 (pbk.)
035
$a
00054272
040
$a
DLC
$c
DLC
042
$a
pcc
050
0 0
$a
QA76.9.L63
$b
H88 2000
082
0 4
$a
510
$2
21
090
$a
*/510/H979/2000////087870
100
1
$a
Huth,
$b
Michael.
$d
1962-
$3
147357
245
1 0
$a
Logic in computer science :
$b
modelling and reasoning about systems /
$c
Michael Huth, Mark Ryan.
260
$a
Cambridge, [England] ;
$a
New York :
$b
Cambridge University Press,
$c
2000.
300
$a
xviii, 387 p. :
$b
ill. ;
$c
25 cm.
504
$a
Includes bibliographical references (p. 375-377)
650
0
$a
Computer logic.
$3
147329
700
1
$a
Ryan,
$b
Mark.
$d
1962-
$3
147358
0 筆讀者評論
館藏地:
全部
六樓西文書庫 (6th Floor-Western Books)
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
備註欄
附件
087870
六樓西文書庫 (6th Floor-Western Books)
一般借閱
外文書
* 510 H979 2000
一般(Normal)
在架
0
5030400-0880006
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入