(1992). Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science.
Cita Chicago Style (17a ed.)Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / Sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in Cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science. 1992.
Cita MLA (9a ed.)Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / Sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in Cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science. 1992.