1.
図書 |
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
|
|||||
2.
図書 |
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
|
|||||
3.
図書 |
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
|
|||||
4.
図書 |
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from CWI ... [et al.]
|
|||||
5.
図書 |
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
|
|||||
6.
図書 |
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
|
|||||
7.
図書 |
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
|
|||||
8.
図書 |
Special Interest Group for Automata and Computability Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
|
|||||
9.
図書 |
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
|
|||||
10.
図書 |
sponsored by the ACM Special Interest Group for Automata and Computability Theory
|