國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Handbook of logic in computer science

~

Abramsky, Samson (1953)

Handbook of logic in computer science

紀錄類型:	書目-語言資料,印刷品 : 單行本
其他作者:	MaibaumThomas S. E, 1947
其他作者:	GabbayDov M, 1945
其他作者:	AbramskySamson, 1953
出版地:	Oxford
出版者:	Clarendon Press;
出版年:	1992-<1995 >
面頁冊數:	v. <1-4 >ill : 25 cm;
標題:	Logic, Symbolic and mathematical -
標題:	Computer science -
館藏註:	館藏:v.2: Background: computational structures
ISBN:	0198537352
內容註:	v. 1. Background, mathematical structure v.2: Background: computational structures

Handbook of logic in computer science
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum - Oxford : Clarendon Press, 1992-<1995 >. - v. <1-4 > ; ill ; 25 cm.
v. 1. Background, mathematical structure.
Includes bibliographical references and indexes.
ISBN 0198537352ISBN 0198537611ISBN 019853762XISBN 0198537808
Logic, Symbolic and mathematicalComputer science

Maibaum, Thomas S. E

Handbook of logic in computer science
LDR:01008cam 2200289 i 450 001 435595
005 20101024003151.0
009 a92000510 //r95
010 1 $a 0198537352 $b (v. 1)
010 1 $a 0198537611 $b (v.2: hard)
010 1 $a 019853762X $b (v. 3)
010 1 $a 0198537808 $b (v. 4)
100 $a 20080130d m y0engy01 b
101 0 $a eng
105 $a a z 001zy
200 1 $a Handbook of logic in computer science $f edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
210 $a Oxford $d 1992-<1995 > $c Clarendon Press
215 0 $a v. <1-4 > $c ill $d 25 cm
320 $a Includes bibliographical references and indexes
327 0 $a v. 1. Background, mathematical structure $a v.2: Background: computational structures
339 $a 館藏:v.2: Background: computational structures
606 $a Logic, Symbolic and mathematical $3 397502 $2 lc $3 724080
606 $a Computer science $3 401540 $2 lc $3 725123
676 $a 004 $b H236
676 $a 004 $v 20
680 $a QA76 $b H2785 1992
702 $a Maibaum $b Thomas S. E $f 1947 $3 414127
702 $a Gabbay $b Dov M $f 1945 $3 414126
702 $a Abramsky $b Samson $f 1953 $3 414125
801 0 $b DLC
801 0 $a cw $b BIB $c 19980706
801 1 $a cw $b national library $c 19980706
801 1 $a cw $b 國立國立虎尾科技大學圖書館 $c 19980808 $g CCR

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E018238

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

004 H236 v.2

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入