Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands

>> Google Books

所蔵情報QRコード

Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands / sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science

資料種別:

図書

出版情報:

Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1991

形態:

xvii, 417 p. ; 28 cm

著者名:

Symposium on Logic in Computer Science <DA01987694>

IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing <DA01037742>

Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) <DA0054797X>

Vrije Universiteit te Amsterdam <DA01056554>

Association for Computing Machinery <DA00190868>

Association for Symbolic Logic <DA01977227>

European Association for Theoretical Computer Science <DA00338459>

さらに 2 件

ISBN:

9780818622304 [081862230X] (: paper)
9780818622328 [0818622326] (: case)
9780818622311 [0818622318] (: microfiche)

書誌ID:

BA1313733X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:	1991 IEEE 6th Annual Symposium on Logic in Computer Science 91CH30254
注記:	Includes bibliographies and index "IEEE Catalog Number 91CH3025-4."
主題:	Electronic data processing--Congresses; Electronic digital computers--Programming--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 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	7 図書 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
2 図書 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	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, 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	9 図書 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
4 図書 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	10 図書 Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994 (: paper ; : microfiche ; : case) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press
5 図書 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	11 図書 Proceedings of the Sixth International Conference on Symbolic and Logical Computing International Conference on Symbolic and Logical Computing, Johnson, Eric (L. Eric) Dakota State University
6 図書 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	12 図書 Proceedings 47th Annual IEEE Symposium on Foundations of Computer Science : 21-24 October 2006, Berkeley, California Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society

1

2

3

4

5

6

7

8

9

10

11

12