東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Proceedings : = Symposium on Logic i...

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

Linked to FindBook

Google Book

Amazon

博客來

Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proceedings :/ sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA.
Reminder of title:	Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 /
corporate name:	Symposium on Logic in Computer Science
Published:	Los Alamitos, Calif. :IEEE Computer Society Press, : c1994.,
Description:	xii, 517 p. :ill. ;29 cm.
Notes:	"IEEE catalog number 94CH3464-5"--T.p. verso.
Subject:	Computer science - Mathematics -
ISBN:	081866312X (case)

Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 /
Proceedings :Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 /sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA. - Los Alamitos, Calif. :IEEE Computer Society Press,c1994. - xii, 517 p. :ill. ;29 cm.

"IEEE catalog number 94CH3464-5"--T.p. verso.

Includes bibliographical references and index.

ISBN: 081866312X (case)Subjects--Topical Terms:

678603
Computer science
--Mathematics

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

Dewey Class. No.: 004 / Sy68p, 1994

Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 /
LDR:01051cam a2200241 a 45 001 667017
003 OCoLC
005 19951107162046.0
008 940722s1994 caua b 101 0 eng d
020 $a 081866312X (case)
035 $a dt 00015246
040 $a EZT $c EZT $d UIU
050 $a QA75.5 $b .S9574 1994
082 0 $a 004 $b Sy68p, 1994 $2 20
111 $a Symposium on Logic in Computer Science $n (9th : $d 1994 : $c Paris, France) $3 696811
245 1 0 $a Proceedings : $b Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 / $c sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA.
260 $a Los Alamitos, Calif. : $c c1994. $b IEEE Computer Society Press,
300 $a xii, 517 p. : $b ill. ; $c 29 cm.
500 $a "IEEE catalog number 94CH3464-5"--T.p. verso.
500 $a "IEEE Computer Society Press order number 6310-02"--T.p. verso.
500 $a Cover title: 1994 IEEE 9th Annual Symposium on Logic in Computer Science.
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 Mathematical Foundations of Computing. $3 659588
710 $a Institut national de recherche en informatique et en automatique (France) $3 696810
740 0 1 $a 1994 IEEE 9th Annual Symposium on Logic in Computer Science.
740 0 1 $a LICS '94.
740 0 1 $a Logic in computer science.