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

所蔵情報QRコード

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. ; Tokyo : IEEE Computer Society Press, c1994

形態:

xii, 517 p. ; 28 cm

著者名:

ISBN:

9780818663109 [0818663103] (: paper)
9780818663116 [0818663111] (: microfiche)
9780818663123 [081866312X] (: case)

書誌ID:

BA22932140

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:	94CH34645
ISSN:	10436871
注記:	Includes bibliographies and index "IEEE Catalog Number 94CH3464-5"--T.p. verso
主題:	Electronic data processing--Congresses; Electronic digital computers--Programming--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	7 図書 Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press
2 図書 Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland (: pbk. ; : hard ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … Computer Society Press, Ordered from Computer Society	8 図書 Proceedings : Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 (: pbk. ; : hard ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … Computer Society Press of the IEEE, Order from Computer Society of the IEEE
3 図書 Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	9 図書 Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 (pbk. ; microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press, Order from IEEE Computer Society
4 図書 Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	10 図書 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press
5 図書 Proceedings : Fourth Annual Symposium on Logic in Computer Science (paper ; case ; microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	11 図書 Tools, methods, and languages for scientific and engineering computation : proceedings of the International Conference on Tools, Methods, and Languages for … International Conference on Tools, Methods, and Languages for Scientific and Engineering Computation, Ford, B., Rault, … North-Holland, Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
6 図書 Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California (:softbound ; :casebound) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	12 図書 Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France (: soft. ; : case. ; : micro.) International Conference on Computer Languages, IEEE Computer Society. Technical Committee on Computer Languages, ACM … IEEE Computer Society Press

1

2

3

4

5

6

7

8

9

10

11

12