| 1.
図書 |
図書
|
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
|
||||
| 2.
図書 |
図書
|
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Computer Science Department, University of California, Los Angeles, California
|
||||
| 3.
図書 |
図書
|
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Department of Electrical Engineering and Computer Science, University of Wisconsin, Milwaukee, Wisconsin
|
||||
| 4.
図書 |
図書
|
organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]
|
||||
| 5.
図書 |
図書
|
edited by Dexter Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Special Interest Group on Automata and Computability Theory of the ACM Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from AT & T Bell Laboratories IBM Almaden Research Center Rice University, University of California, San Diego
|
||||
| 6.
図書 |
図書
|
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
|
||||
| 7.
図書 |
図書
|
sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
|
||||
| 8.
図書 |
図書
|
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
|
||||
| 9.
図書 |
図書
|
sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing
|
||||
| 10.
図書 |
図書
|
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
|
