國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Handbook of logic in computer science

~

Abramsky, Samson (1953)

Handbook of logic in computer science

Record Type:	Language materials, printed : monographic
Secondary Intellectual Responsibility:	MaibaumThomas S. E, 1947
Secondary Intellectual Responsibility:	GabbayDov M, 1945
Secondary Intellectual Responsibility:	AbramskySamson, 1953
Place of Publication:	Oxford
Published:	Clarendon Press;
Year of Publication:	1992-<1995 >
Description:	v. <1-4 >ill : 25 cm;
Subject:	Logic, Symbolic and mathematical -
Subject:	Computer science -
Holding:	館藏:v.2: Background: computational structures
ISBN:	0198537352
Content Note:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E018238

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

004 H236 v.2

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login