Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center
類似資料:
ACM Digital Library Proceedings, IEEE |
The Association for Computing Machinery |
IEEE Electronic Library (IEL) Conference Proceedings, IEEE |
IEEE Computer Society |
ACM Digital Library Proceedings, IEEE Computer Society |
9
図書
International Symposium on Symbolic and Algebraic Computation 92, July 27-29, Berkeley, California
Additional copies may be ordered prepaid from: ACM Order Department |
IEEE Computer Society | |
ACM Digital Library Proceedings, IEEE Computer Society |