東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Proceedings : = Eighth Annual IEEE S...

ACM Special Interest Group for Automata and Computability Theory.

Linked to FindBook

Google Book

Amazon

博客來

Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proceedings :/ sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery--SIGACT ... [et al.]
Reminder of title:	Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /
corporate name:	Symposium on Logic in Computer Science
Published:	Los Alamitos, Calif. :IEEE Computer Society Press, : c1993.,
Description:	xii, 434 p. :ill. ;29 cm.
Notes:	"IEEE catalog number 93CH3328-2"--T.p. verso.
Subject:	Computer science - Mathematics -
ISBN:	0818631406 (paper)

Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /
Proceedings :Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery--SIGACT ... [et al.] - Los Alamitos, Calif. :IEEE Computer Society Press,c1993. - xii, 434 p. :ill. ;29 cm.

"IEEE catalog number 93CH3328-2"--T.p. verso.

Includes bibliographical references and index.

ISBN: 0818631406 (paper)Subjects--Topical Terms:

678603
Computer science
--Mathematics

LC Class. No.: QA75.5 / .S9574 1993

Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /
LDR:01118nam a2200241 a 45 001 667016
003 OCoLC
005 19951107162033.0
008 930810s1993 caua b 101 0 eng d
020 $a 0818631406 (paper)
020 $a 0818631414 (microfiche)
020 $a 0818631422 (case)
035 $a dt 00015245
040 $a EZT $c EZT
050 $a QA75.5 $b .S9574 1993
111 $a Symposium on Logic in Computer Science $n (8th : $d 1993 : $c Montreal, Canada) $3 696809
245 1 0 $a Proceedings : $b Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 / $c sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery--SIGACT ... [et al.]
260 $a Los Alamitos, Calif. : $c c1993. $b IEEE Computer Society Press,
300 $a xii, 434 p. : $b ill. ; $c 29 cm.
500 $a "IEEE catalog number 93CH3328-2"--T.p. verso.
500 $a "IEEE Computer Society Press order number 3140-02"--T.p. verso.
504 $a Includes bibliographical references and index.
650 $a Computer science $x Mathematics $x Congresses. $3 678603
650 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
710 $a ACM Special Interest Group for Automata and Computability Theory. $3 661345
710 $a IEEE Computer Society. $b Technical Committee on Mathematical Foundations of Computing. $3 659588
740 0 1 $a 8th Annual IEEE Symposium on Logic in Computer Science.
740 0 1 $a Eighth Annual IEEE Symposium on Logic in Computer Science.
740 0 1 $a Logic in computer science.