31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Symposium on Foundations of Computer Science (31th 1990 St. Louis, Missori) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Washington, D.C. Computer Society Press of the IEEE c1990
Localização: IME - Inst. Matemática e Estatística (QA800.C S989 31 v.2 )(Acessar)