Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986

>> Google Books

所蔵情報QRコード

Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science

資料種別:

図書

出版情報:

Washington, D.C. : IEEE Computer Society Press
Los Angeles, CA : Order from IEEE Computer Society, c1986

形態:

xi, 383 p. ; 28 cm

著者名:

ISBN:

9780818607202 [0818607203] (pbk.)
9780818687204 [0818687207]
9780818647208 [0818647205] (microfiche)

書誌ID:

BA04334125

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:	Logic in computer science
注記:	Includes bibliographies and index "IEEE Computer Society order number 720." "IEEE catalog number 86CH2321-8."
主題:	Electronic data processing--Congresses; Electronic digital computers--Programming--Congresses; Logic, Symbolic and mathematical--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 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	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 Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	8 図書 1983 ACM computer science conference and SIGCSE symposium : computer science conference, February 15-17, SIGCSE symposium, February 17-18 (pbk.) ACM Computer Science Conference, Association for Computing Machinery, Association for Computing Machinery. Special … Association for Computing Machinery
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 雑誌 Annual Symposium on Foundations of Computer Science Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … 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 : 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
5 図書 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	11 図書 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
6 図書 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	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12