Conference record papers presented at the symposium may 1,2,3,1972, sponsored by the association for computing machinery, special interest group on automata and computability theory
Acm Symposium on Theory of Computing (4. 1972 Denver) Acm Special Interest Group for Automata and Computability Theory
Proceedings of the nineteenth annual ACM Symposium on Theory of Computing, New York City, May 25-27, 1987 / sponsored by the ACM Special Interest Group for Automata and Computability Theory
ACM Symposium on Theory of Computing (19th 1987 New York, N.Y.) ACM Special Interest Group for Automata and Computability Theory; Symposium on Theory of Computing (19 . 1987 New York)
New York Association for Computing Machinery 1987
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989r 19. e.2 )(Acessar)
Conference record of the eleventh annual ACM Symposium on Theory of Computing papers presented at the Symposium, Atlanta, Georgia, April 30-May 2, 1979
ACM Symposium on Theory of Computing (11th 1979 Atlanta) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
New York ACM c1979
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989r 11. )(Acessar)
Proceedings of the fourteenth annual ACM Symposium on Theory of Computing, San Francisco, California, May 5-7, 1982
ACM Symposium on Theory of Computing (14th 1982 San Francisco, Calif.) Association for Computing Machinery; ACM Special Interest Group for Automata and Computability Theory
New York Association for Computing Machinery c1982
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989r 14. )(Acessar)
Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, New Orleans, Louisiana, May 6-8, 1991
ACM Symposium on Theory of Computing (23rd 1991 New Orleans, La.) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society
New York Association for Computing Machinery 1991
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989r 23. )(Acessar)