國立高雄大學圖資館 |

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 : Monograph/item
Title/Author:	Handbook of logic in computer science /edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.
other author:	Gabbay, Dov M.,
Published:	New York :Oxford University Press,1992-<2000 >
Description:	v. <1-5 > :ill. ;25 cm.
Subject:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

320000122624

西方語文圖書區(四樓)

1圖書

一般圖書

QA76 H236 v.5

一般使用(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