國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Handbook of logic in computer science /

~

Abramsky, Samson, (1953-)

Handbook of logic in computer science /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Handbook of logic in computer science /edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.
其他作者:	Gabbay, Dov M.,
出版者:	New York :Oxford University Press,1992-<2000 >
面頁冊數:	v. <1-5 > :ill. ;25 cm.
標題:	Computer science.
ISBN:	0198537352 (v. 1)

Handbook of logic in computer science /
Handbook of logic in computer science /edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum. - New York :Oxford University Press,1992-<2000 > - v. <1-5 > :ill. ;25 cm.

Includes bibliographical references and indexes.

v. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.

ISBN: 0198537352 (v. 1)

LCCN: 92000510 Subjects--Topical Terms:

199325
Computer science.

LC Class. No.: QA76 / H236

Dewey Class. No.: 004

Handbook of logic in computer science /
LDR:00903nam 2200229 a 450 001 150243
005 19970107125323.0
008 090528m19929999enka 001 0 eng
010 $a 92000510
020 $a 0198537352 (v. 1)
020 $a 0198537611 (v. 2)
020 $a 019853762X (v. 3)
020 $a 0198537808 (v. 4)
020 $a 0198537816 (v. 5) : $c NT$7176
035 $a 00044790
040 $a DLC $c DLC $d DLC $d DLC
050 0 0 $a QA76 $b H236
082 0 0 $2 20 $a 004
245 0 0 $a Handbook of logic in computer science / $c edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.
260 $a New York : $a Oxford : $c 1992-<2000 > $b Oxford University Press, $b Clarendon Press ;
300 $a v. <1-5 > : $b ill. ; $c 25 cm.
504 $a Includes bibliographical references and indexes.
505 1 $a v. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.
650 $a Computer science. $3 199325
650 $a Logic, Symbolic and mathematical. $3 180452
700 $a Gabbay, Dov M., $d 1945- $3 200897
700 $a Maibaum, Thomas S. E., $d 1947- $3 200898
700 $a Abramsky, Samson, $d 1953- $3 200896

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

320000122624

西方語文圖書區(四樓)

1圖書

一般圖書

QA76 H236 v.5

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入