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 CenterIEEE Computer Society Pressc1996
Other Libraries in Japan
Author Heading...mputer Science AT & T Research Bell Laboratories. Lucent Tec...
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 CenterIEEE Computer Society Pressc1996