東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Proceedings /

~

IEEE Computer Society., Technical Committee on Mathematical Foundations of Computing.

Linked to FindBook

Google Book

Amazon

博客來

Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proceedings // Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland ; sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing.
corporate name:	Symposium on Logic in Computer Science
Published:	Washington, D.C. :Computer Society Press, : [1988],
Description:	xi, 436 p. :ill. ;28 cm.
Notes:	"Computer Society order number 853."
Subject:	Electronic data processing - Mathematics -
ISBN:	0818608536 (pbk.)

Proceedings /
Proceedings /Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland ; sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing. - Washington, D.C. :Computer Society Press,[1988] - xi, 436 p. :ill. ;28 cm.

"Computer Society order number 853."

Includes bibliographies and index.

ISBN: 0818608536 (pbk.)

LCCN: 88045439Subjects--Topical Terms:

659590
Electronic data processing
--Mathematics

LC Class. No.: QA76.9.M35 / S94 1988

Dewey Class. No.: 005.13/1

Proceedings /
LDR:00839nam a2200217 a 45 001 648106
008 880331s1988 dcua b 10110 eng
010 $a 88045439
020 $a 0818608536 (pbk.)
020 $a 0818648538 (microfiche)
020 $a 081868853X
035 $a dt 00008144
040 $a DLC $c DLC $d DLC
050 0 0 $a QA76.9.M35 $b S94 1988
082 0 0 $a 005.13/1 $2 20
111 $a Symposium on Logic in Computer Science $n (3rd : $d 1988 : $c Edinburgh, Scotland) $3 659589
245 1 0 $a Proceedings / $c Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland ; sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing.
260 0 $a Washington, D.C. : $c [1988] $b Computer Society Press,
300 $a xi, 436 p. : $b ill. ; $c 28 cm.
500 $a "Computer Society order number 853."
500 $a "IEEE catalog number 88CH2608-8."
504 $a Includes bibliographies and index.
650 $a Electronic data processing $x Mathematics $x Congresses. $3 659590
650 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
710 $a IEEE Computer Society. $b Technical Committee on Mathematical Foundations of Computing. $3 659588
740 0 1 $a Logic in computer science.

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0018984

罕用書庫221室(美崙校區,調書請點預約)(RU_221)

01.外借(書)_YB

一般圖書

QA76.9.M35 S989 1988

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