東華大學圖書館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Proceedings of the Seventh Annual IE...

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

FindBook

Amazon

博客來

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	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.
團體作者:	Symposium on Logic in Computer Science
出版者:	Los Alamitos, Calif. :IEEE Computer Society Press, : c1992.,
面頁冊數:	xiii, 471 p. :ill. ;28 cm.
附註:	IEE catalog number 92CH3127-8"--T.p. verso.
標題:	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