Proceedings : Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 / sponsored by the Computer Society of the IEEE 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. : Computer Society Press of the IEEE
Los Angeles, CA : Order from Computer Society of the IEEE, c1987 - 形態:
- xi, 361 p. ; 28 cm
- 著者名:
- ISBN:
- 9780818607936 [0818607939] (: pbk.)
9780818687938 [0818687932] (: hard)
9780818647932 [0818647930] (: microfiche) - 書誌ID:
- BA01487436
類似資料:
|
IEEE Computer Society Press | |
|
Computer Society Press, Ordered from Computer Society | |
|
IEEE Computer Society Press | |
|
IEEE Computer Society Press, Order from IEEE Computer Society |
IEEE Computer Society |
