語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Informatique." ]
切換:
標籤
|
MARC模式
|
ISBD
Handbook of logic in computer scienc...
~
Abramsky, Samson, (1953-)
FindBook
Google Book
Amazon
博客來
Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Handbook of logic in computer science./ edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
其他題名:
Logic and algebraic methods
其他作者:
Abramsky, Samson,
出版者:
Oxford :Clarendon Press ; : 2000.,
附註:
Title from ebook title screen (viewed Jan. 6, 2004).
標題:
Computer science. -
電子資源:
http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=98424An electronic book accessible through the World Wide Web; click for information
ISBN:
058548337X (electronic bk.)
Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods
Handbook of logic in computer science.
Volume 5,Logic and algebraic methods[electronic resource] /Logic and algebraic methodsedited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. - Oxford :Clarendon Press ;2000.
Title from ebook title screen (viewed Jan. 6, 2004).
Includes bibliographical references and indexes.
Made available through NetLibrary; access may be limited to NetLibrary affiliated libraries.
Mode of access: World Wide Web.
ISBN: 058548337X (electronic bk.)Subjects--Topical Terms:
523869
Computer science.
Subjects--Index Terms:
Programming.Index Terms--Genre/Form:
542853
Electronic books.
LC Class. No.: QA76 / .H2785 2000eb
Dewey Class. No.: 004
Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods
LDR
:01193cam a2200277 a 45
001
729519
003
OCoLC
005
20080224
006
m d
007
cr cnu---unuuu
008
080224s2000 enk sb 001 0 eng d
020
$a
058548337X (electronic bk.)
035
$a
ocm53983677
040
$a
N
$c
N
$d
OCLCQ
049
$a
AMFA
050
1 4
$a
QA76
$b
.H2785 2000eb
082
0 4
$a
004
$2
22
245
0 0
$a
Handbook of logic in computer science.
$n
Volume 5,
$p
Logic and algebraic methods
$h
[electronic resource] /
$c
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
246
3 0
$a
Logic and algebraic methods
260
$a
Oxford :
$a
New York :
$c
2000.
$b
Clarendon Press ;
$b
Oxford University Press,
500
$a
Title from ebook title screen (viewed Jan. 6, 2004).
504
$a
Includes bibliographical references and indexes.
506
$a
Made available through NetLibrary; access may be limited to NetLibrary affiliated libraries.
538
$a
Mode of access: World Wide Web.
650
$a
Computer science.
$3
523869
650
$a
Logic, Symbolic and mathematical.
$3
532051
650
$a
Informatique.
$3
815815
650
$a
Logique symbolique et math歋matique.
$3
801407
650
$a
Ciencia da computacao ou informatica.
$2
larpcal
$3
817042
650
$a
Logica e semantica de programacao.
$2
larpcal
$3
817043
653
0
$a
Programming.
655
$a
Electronic books.
$2
lcsh
$3
542853
700
$a
Abramsky, Samson,
$d
1953-
$3
665172
700
$a
Gabbay, Dov M.,
$d
1945-
$3
665173
700
$a
Maibaum, Thomas S. E.,
$d
1947-
$3
665174
710
$a
NetLibrary, Inc.
$3
542851
856
4
$3
Bibliographic record display
$u
http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=98424
$z
An electronic book accessible through the World Wide Web; click for information
994
$a
92
$b
AMF
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9028455
電子資源
11.線上閱覽_V
電子書
EB
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入