Proceedings of the Fourth International Conference on Symbolic and Logical Computing | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Proceedings of the Fourth International Conference on Symbolic and Logical Computing / edited by Eric Johnson

資料種別:

図書

出版情報:

Madison, S.D. (114 Beadle Hall, Dakota State University, Madison 57042-1799) : Dakota State University, 1989

形態:

vii, 390 p. ; 23 cm

著者名:

書誌ID:

BA20405803

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Electronic data processing--Congresses; Electronic digital computers--Programming--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Proceedings of the Fifth International Conference on Symbolic and Logical Computing International Conference on Symbolic and Logical Computing, Johnson, Eric (L. Eric) Dakota State University	7 図書 Proceedings 8, COMPSAC 84 : the IEEE Computer Society's Eighth International Computer Software & Applications Conference, November 7-9, 1984, Americana … COMPSAC, IEEE Computer Society IEEE Computer Society Press
2 図書 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	8 図書 Proceedings 9, COMPSAC 85 : the IEEE Computer Society's Ninth International Computer Software & Applications Conference, October 9-11, 1985, Americana … (: pbk. ; : microfiche ; : case) COMPSAC, IEEE Computer Society IEEE Computer Society
3 図書 Proceedings of the Third International Conference on Symbolic and Logical Computing International Conference on Symbolic and Logical Computing, Johnson, Eric (L. Eric) Dakota State College	9 図書 Proceedings 2, COMPSAC 78 : the IEEE Computer Society's Second International Computer Software & Applications Conference, November 13-16, 1978, the Palmer … (: pbk) COMPSAC, Depp, Wallace A., Ramamoorthy, Chittoor V., 1926-, IEEE Computer Society IEEE Computer Society
4 図書 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	10 雑誌 Proceedings Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press
5 図書 International Computing Symposium 1973 : proceedings of the International Computing Symposium 1973, Davos, Switzerland, 4-7 September 1973 (: us ; : ne) International Computing Symposium, Günther, Alfred, 1921-, Levrat, Bernard, 1936-, Lipps, H., Association for Computing … North-Holland Pub. Co., American Elsevier	11 図書 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
6 図書 Proceedings 5, COMPSAC 81 : the IEEE Computer Society's Fifth International Computer Software & Applications Conference, November 16-20, 1981, the Marriott … COMPSAC, IEEE Computer Society IEEE Computer Society Press	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12