東華大學圖書館 |

Language: English

Back

Switch To: Labeled | MARC Mode | ISBD

Proceedings of the Seventh Annual IE...

IEEE Computer Society., Technical Committee on MathematicalFoundations of Computing.

Amazon

博客來

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 // sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science.
corporate name:	Symposium on Logic in Computer Science
Published:	Los Alamitos, Calif. :IEEE Computer Society Press, : c1992.,
Description:	xiii, 471 p. :ill. ;28 cm.
Notes:	IEE catalog number 92CH3127-8"--T.p. verso.
Subject:	Computer science - Mathematics -
ISBN:	0818627352 (paper)

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science. - Los Alamitos, Calif. :IEEE Computer Society Press,c1992. - xiii, 471 p. :ill. ;28 cm.

IEE catalog number 92CH3127-8"--T.p. verso.

Includes bibliographical references and index.

ISBN: 0818627352 (paper)

LCCN: 91078307Subjects--Topical Terms:

678603
Computer science
--Mathematics

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

Dewey Class. No.: 004/.01/5113

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /
LDR:00951nam a2200205 a 45 001 656943
005 19980211160919.9
008 920107s1992 caua b 101 0 eng
010 $a 91078307
020 $a 0818627352 (paper)
020 $a 0818627360 (microfiche)
020 $a 0818627379 (case) : $c US98.00
035 $a dt 00020334
040 $a DLC $c DLC
050 0 0 $a QA76.9.M35 $b S94 1992
082 0 0 $a 004/.01/5113 $2 20
111 $a Symposium on Logic in Computer Science $n (7th : $d 1992 : $c Santa Cruz, Calif.) $3 678602
245 1 0 $a Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / $c sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science.
260 $a Los Alamitos, Calif. : $c c1992. $b IEEE Computer Society Press,
300 $a xiii, 471 p. : $b ill. ; $c 28 cm.
500 $a IEE catalog number 92CH3127-8"--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 IEEE Computer Society. $b Technical Committee on MathematicalFoundations of Computing. $3 678601