Proceedings Fourth Annual Symposium on Logic in Computer Science
Symposium on Logic in Computer Science (4th 1989 Pacific Grove, Calif.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Washington, D.C. Computer Society Press 1989
Localização: IME - Inst. Matemática e Estatística (QA11.7.C S989p 4 )(Acessar)